Fixed bugs in the constant removal code for binary expressions.

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index f4f27ac3cb6d7dfea0dcf876be03ebdb1652fafb..9faec5fca7f661423c986b7709aafccece51497d 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -19,7 +19,7 @@
 
 /*@access exprNode @*/
 
-static bool constraintTerm_isDefined (constraintTerm t)
+bool constraintTerm_isDefined (constraintTerm t)
 {
   return t != NULL;
 }