Made cosmetic improves to messages.

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

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index e3190bf9b61e12a229fe308421a58293fc6453ff..7b0b8ac7cb3cdcf3631bea24beb75990171fe14c 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -138,6 +138,9 @@ int constraint_compare (/*@observer@*/ /*@temp@*/ constraint * p_c1, /*@observer
 
 bool constraint_isPost  (/*@observer@*/ /*@temp@*/ constraint p_c);
 
+bool constraint_tooDeep (/*@observer@*/ /*@temp@*/ constraint p_c);
+
+
 /*@=czechfcns*/
 ////drl possible problem : warning take this out