*** empty log message ***

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

diff --git a/src/Headers/constraintList2.h b/src/Headers/constraintList2.h
index c2da3a42077be9871d1c92ecf41097bee6a52bba..7e8cbbff12aad720302d7b2e4cc3fa8c17f18deb 100644 (file)
--- a/src/Headers/constraintList2.h
+++ b/src/Headers/constraintList2.h
@@ -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) ;