*** empty log message ***

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

diff --git a/src/Headers/constraintExpr.h b/src/Headers/constraintExpr.h
index f9b71e40568165634c27c8ac492b58cb17b8ad9b..64208e666909872d1556b2394eee07b11cc9752a 100644 (file)
--- a/src/Headers/constraintExpr.h
+++ b/src/Headers/constraintExpr.h
@@ -48,7 +48,7 @@ long constraintExpr_getValue (constraintExpr p_expr) /*@*/;
 
 int constraintExpr_compare (constraintExpr p_expr1, constraintExpr p_expr2) /*@*/;
 
-//constraintExpr constraintExpr_makeValueInt (int i);
+/* constraintExpr constraintExpr_makeValueInt (int i); */
 
 /*@only@*/ constraintExpr constraintExpr_makeIntLiteral (long p_i);