Fixed some splintme errors from the previous code change.

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

diff --git a/src/Headers/constraintTerm.h b/src/Headers/constraintTerm.h
index 8ea90ee3dd731f9b4787020dd6f597f5bc4867b6..673de12e0b3f0c45d4dbcff32a6e04c87260b9f3 100644 (file)
--- a/src/Headers/constraintTerm.h
+++ b/src/Headers/constraintTerm.h
@@ -86,6 +86,9 @@ extern ctype constraintTerm_getCType (constraintTerm term);
 
 /*@=namechecks@*/
 
+/*drl added 12/19/2002*/
+bool  constraintTerm_isConstantOnly ( constraintTerm p_term );
+     
 #else
 
 #error Multiple Include