Prewinter break editing commit.

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index e8436fa53f69de7ab8cdd919d92ffe9492284dba..b3379b133903f7629a8ef46feb98014f58ee36fb 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -65,13 +65,13 @@ constraintExpr makePostOpInc (exprNode t1);
 
 
 bool fileloc_closer (fileloc  loc1, fileloc  loc2, fileloc  loc3);
-cstring constraintTerm_print (constraintTerm term);
+cstring constraintTerm_print (constraintTerm term) /*@*/;
 
-cstring arithType_print (arithType ar);
+cstring arithType_print (arithType ar) /*@*/;
 
-cstring constraintExpr_print (constraintExpr ex);
+cstring constraintExpr_print (constraintExpr ex) /*@*/;
 fileloc constraint_getFileloc (constraint c);
-cstring constraint_print (constraint c);
+cstring constraint_print (constraint c) /*@*/;
 constraint constraint_makeWriteSafeInt (exprNode po, int ind);
 
 exprNode exprNode_copyConstraints (exprNode dst, exprNode src);