Fixed some splintme errors from the previous code change.

[splint.git] / src / Headers / constraintExprData.h

diff --git a/src/Headers/constraintExprData.h b/src/Headers/constraintExprData.h
index f8759d02ed8c24a56acf5c9d0852ede6014bdacf..c034882c958890fc1abd19ef93321463d738db4f 100644 (file)
--- a/src/Headers/constraintExprData.h
+++ b/src/Headers/constraintExprData.h
@@ -6,15 +6,15 @@
 typedef enum
 {
   BINARYOP_UNDEFINED,
-  PLUS,
-  MINUS
+  BINARYOP_PLUS,
+  BINARYOP_MINUS
 }
 constraintExprBinaryOpKind;
 
 typedef enum
 {
   UNARYOP_UNDEFINED,
- MAXSET, MINSET, MAXREAD, MINREAD
+  MAXSET, MINSET, MAXREAD, MINREAD 
  }
 constraintExprUnaryOpKind;
 
@@ -41,7 +41,7 @@ typedef union constraintExprData
   constraintTerm term;
 } *constraintExprData;
 
-extern /*@falsenull@*/ bool constraintExprData_isDefined (/*@temp@*/ /*@observer@*/ /*@reldef@*/ constraintExprData p_e) /*@*/ ;
+extern /*@falsewhennull@*/ bool constraintExprData_isDefined (/*@temp@*/ /*@observer@*/ /*@reldef@*/ constraintExprData p_e) /*@*/ ;
 # define constraintExprData_isDefined(e)      ((e) != NULL)
 
 extern void constraintExprData_freeBinaryExpr (/*@only@*/ constraintExprData) ;