Made make lint work. Although exprNode_doSwitchExpr surpresses too much.

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 6f88df006c5f34d57c44d755ef0b70d1a58b213d..288d6db0d27807ba4d8f106576bb8d3799f11a0f 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -132,7 +132,7 @@ constraintTermType constraintTerm_getKind (constraintTerm t)
   return (t->value.sref);
 }
 
-/*@only@*/ constraintTerm constraintTerm_makeExprNode (/*@depenedent@*/  exprNode e)
+/*@only@*/ constraintTerm constraintTerm_makeExprNode (/*@dependent@*/  exprNode e)
 {
   constraintTerm ret = new_constraintTermExpr();
   ret->loc =  fileloc_copy(exprNode_getfileloc(e));