Tried to fix some problems with the configuration system.

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 5e1972149c4139c1176aecfd1f4ace9ac227844a..0f248391142e7868f224ac45eba7faf5513e14b5 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -143,6 +143,7 @@ bool constraint_isPost  (/*@observer@*/ /*@temp@*/ constraint p_c);
 
 bool constraint_tooDeep (/*@observer@*/ /*@temp@*/ constraint p_c);
 
+void exprNode_findValue( exprNode p_e);
 
 /*@=czechfcns*/
 /* drl possible problem : warning take this out */