Prewinter break editing commit.

[splint.git] / src / constraintResolve.c

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index 8495f9c38290558c0e897cbc16dd0ae7121b7906..223cf7de3384e36b9d1d212ccd757653d26791b0 100644 (file)
--- a/src/constraintResolve.c
+++ b/src/constraintResolve.c
@@ -3,6 +3,8 @@
 ** constraintResolve.c
 */
 
+//#define DEBUGPRINT 1
+
 # include <ctype.h> /* for isdigit */
 # include "lclintMacros.nf"
 # include "basic.h"
@@ -16,6 +18,8 @@
 
 #include "constraintExpr.h"
 
+
+
 constraintList reflectChanges (constraintList pre2, constraintList post1);
 constraint substitute (constraint c, constraintList p);
 constraint constraint_searchandreplace (constraint c, constraintExpr old, constraintExpr new);
@@ -30,7 +34,7 @@ constraintList constraintList_fixConflicts (constraintList list1, constraintList
 constraintList constraintList_subsumeEnsures (constraintList list1, constraintList list2);
 
 constraintList constraintList_mergeEnsures (constraintList list1, constraintList list2);
-
+constraint  inequalitySubstitute  (constraint c, constraintList p);
 
 /*********************************************/