The code almost work.

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

diff --git a/src/Headers/constraintExprData.h b/src/Headers/constraintExprData.h
index 7a1418e53d17e382022493ef978a4c8f89cc7649..73757ae632aee3fa14c6914a6fe3ef9969daa8f4 100644 (file)
--- a/src/Headers/constraintExprData.h
+++ b/src/Headers/constraintExprData.h
@@ -14,9 +14,7 @@ constraintExprBinaryOpKind;
 typedef enum
 {
   UNARYOP_UNDEFINED,
- VALUE, 
- MAXSET, MINSET, MAXREAD, MINREAD,
- NULLTERMINATED
+ MAXSET, MINSET, MAXREAD, MINREAD
  }
 constraintExprUnaryOpKind;
 
@@ -54,7 +52,6 @@ extern/*@unused@*/ /*@truenull@*/ bool constraintExprData_isError (constraintExp
 # define constraintExprData_isUndefined(e)    ((e) == constraintExprData_undefined)
 # define constraintExprData_isError(e)        ((e) == constraintExprData_undefined)
 
-void constraintExprData_free (/*@only@*/ constraintExprData data);
 
 /*@reldef@*/ constraintExprData constraintExprData_termSetTerm (/*@reldef@*/ /*@returned@*/ constraintExprData data, /*@only@*/ constraintTerm term);