Updated library headers to include some missing functions.

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

diff --git a/src/Headers/constraintList2.h b/src/Headers/constraintList2.h
index 573e90b290c12b559ee6245ca25d0bbc66b77908..7e8cbbff12aad720302d7b2e4cc3fa8c17f18deb 100644 (file)
--- a/src/Headers/constraintList2.h
+++ b/src/Headers/constraintList2.h
@@ -35,7 +35,7 @@ extern bool constraintList_empty (/*@sef@*/ constraintList);
 extern /*@falsenull@*/ bool constraintList_isDefined (constraintList p_t);
 # define constraintList_isDefined(s) ((s) != (constraintList) 0)
 
-extern /*@only@*/ constraintList constraintList_new(void);
+extern /*@only@*/ constraintList constraintList_makeNew(void);
 extern constraintList constraintList_push (/*@returned@*/ constraintList p_s, 
                                       /*@keep@*/ constraint p_el) ;
 
@@ -51,10 +51,12 @@ extern void constraintList_advance (constraintList p_s)
 
 extern /*@exposed@*/ constraint constraintList_getN (constraintList p_s, int p_n) /*@*/ ;
 
-//extern /*@only@*/ cstring constraintList_unparse (constraintList p_s) ;
-//extern /*@only@*/ cstring constraintList_unparseTail (constraintList p_s);
-//extern /*@only@*/ cstring constraintList_unparseToCurrent (constraintList p_s);
-//extern /*@only@*/ cstring constraintList_unparseSecondToCurrent (constraintList p_s);
+# if 0
+extern /*@only@*/ cstring constraintList_unparse (constraintList p_s) ;
+extern /*@only@*/ cstring constraintList_unparseTail (constraintList p_s);
+extern /*@only@*/ cstring constraintList_unparseToCurrent (constraintList p_s);
+extern /*@only@*/ cstring constraintList_unparseSecondToCurrent (constraintList p_s);
+# endif
 
 extern void constraintList_free (/*@only@*/ constraintList p_s) ;