*** empty log message ***

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 4a7e381da92362cf418bcf02e706e43472cfb47d..e3190bf9b61e12a229fe308421a58293fc6453ff 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -136,6 +136,7 @@ extern void exprNode_forLoopHeuristics( /*@dependent@*/ exprNode p_e, /*@depende
 
 int constraint_compare (/*@observer@*/ /*@temp@*/ constraint * p_c1, /*@observer@*/ /*@temp@*/ constraint * p_c2) /*@*/;
 
+bool constraint_isPost  (/*@observer@*/ /*@temp@*/ constraint p_c);
 
 /*@=czechfcns*/
 ////drl possible problem : warning take this out