Made make lint work. Although exprNode_doSwitchExpr surpresses too much.

[splint.git] / src / constraintExpr.c

diff --git a/src/constraintExpr.c b/src/constraintExpr.c
index d747ad6fcb20a0721cf24be86e5267f69a3e53b5..39e416e638b1fdb9d743786e8bda44f1d82b9357 100644 (file)
--- a/src/constraintExpr.c
+++ b/src/constraintExpr.c
@@ -789,13 +789,13 @@ static cstring constraintExprUnaryOpKind_print (constraintExprUnaryOpKind op)
   switch (op)
     {
     case MAXSET:
-      return message("MAXSET");
+      return message("maxSet");
     case MINSET:
-      return message("MINSET");
+      return message("minSet");
     case MAXREAD:
-      return message("MAXREAD");
+      return message("maxRead");
     case MINREAD:
-      return message("MINREAD");
+      return message("minRead");
     default:
       llassert(FALSE);
       return message ("<(Unary OP OTHER>");
@@ -1484,7 +1484,7 @@ bool constraintExpr_hasMaxSet (constraintExpr expr) /*@*/
 
   t = constraintExpr_unparse(expr);
 
-  if (cstring_containsLit(t, "MAXSET") != NULL )
+  if (cstring_containsLit(t, "maxSet") != NULL )
     {
       cstring_free(t);
       return (TRUE);