Prewinter break editing commit.

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 36bdd08fe46105b4b54b42952dd7a97050d46765..edfc88170b935b0c39d2790d7f8874de762ee0dc 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -2,6 +2,8 @@
 ** constraintExpr.c
 */
 
+//#define DEBUGPRINT 1
+
 # include <ctype.h> /* for isdigit */
 # include "lclintMacros.nf"
 # include "basic.h"
@@ -18,6 +20,9 @@
 
 //#include "constraintExpr.h"
 
+
+
+
 bool constraintTerm_isIntLiteral (constraintTerm term)
 {
   llassert(term);
@@ -138,7 +143,7 @@ constraintTerm constraintTerm_doSRefFixBaseParam (constraintTerm term, exprNodeL
   
 }
 
-cstring constraintTerm_print (constraintTerm term)
+cstring constraintTerm_print (constraintTerm term)  /*@*/
 {
   cstring s;
   s = cstring_undefined;