*** empty log message ***

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 2d67fb354fecd5ec0525fed0b1ba75ad63f13c85..5e1972149c4139c1176aecfd1f4ace9ac227844a 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -33,7 +33,7 @@ extern /*@truenull@*/ /*@unused@*/ bool constraint_isError (constraint p_e) /*@*
 
 extern void constraint_free (/*@only@*/  constraint p_c);
 
-//constraint makeConstraintParse (sRef x, lltok relOp, exprNode cconstant);
+/* constraint makeConstraintParse (sRef x, lltok relOp, exprNode cconstant); */
 
 /*@i22*/
 /*@-czechfcns*/
@@ -145,7 +145,7 @@ bool constraint_tooDeep (/*@observer@*/ /*@temp@*/ constraint p_c);
 
 
 /*@=czechfcns*/
-////drl possible problem : warning take this out
+/* drl possible problem : warning take this out */
 
 #include "constraintResolve.h"
 #include "constraintOutput.h"