*** empty log message ***

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 225a79019da12923250ff92522b18197691e9dd6..4a7e381da92362cf418bcf02e706e43472cfb47d 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -134,6 +134,9 @@ void constraint_dump (/*@observer@*/ constraint p_c,  FILE * p_f);
 
 extern void exprNode_forLoopHeuristics( /*@dependent@*/ exprNode p_e, /*@dependent@*/ exprNode p_forPred, /*@dependent@*/ exprNode p_forBody);
 
+int constraint_compare (/*@observer@*/ /*@temp@*/ constraint * p_c1, /*@observer@*/ /*@temp@*/ constraint * p_c2) /*@*/;
+
+
 /*@=czechfcns*/
 ////drl possible problem : warning take this out