X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/9a48d98c204aab98e0cd2d427808654cf280b62e..2a6e9c30f59a18a1f6e678745a79ae5bda5b6a99:/src/Headers/constraintList.h

diff --git a/src/Headers/constraintList.h b/src/Headers/constraintList.h
index 85c2f38..94b190f 100644
--- a/src/Headers/constraintList.h
+++ b/src/Headers/constraintList.h
@@ -55,12 +55,9 @@ extern constraintList constraintList_copy ( /*@observer@*/ /*@temp@*/ constraint
 extern void constraintList_free (/*@only@*/ constraintList p_s) ;
 
 
-extern /*@only@*/ cstring constraintList_unparse ( /*@observer@*/ constraintList p_s) /*@*/;
+extern /*@only@*/ cstring constraintList_unparse (/*@observer@*/ constraintList p_s) /*@*/;
 
-/*@only@*/ extern cstring constraintList_print ( /*@observer@*/ /*@temp@*/ constraintList p_s) /*@*/;
-
-extern cstring
-constraintList_printDetailed ( /*@observer@*/ constraintList p_s) /*@*/;
+extern cstring constraintList_unparseDetailed (/*@observer@*/ constraintList p_s) /*@*/;
 
 extern /*@only@*/ constraintList
 constraintList_logicalOr ( /*@observer@*/ constraintList p_l1, /*@observer@*/  constraintList p_l2);