Tried to fix some problems with the configuration system.

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 6af07e5a1ecd9140f251f63dbe0c84a8da2e3ff0..608227f76a570dc3f589ce3cb7948449177778af 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -423,7 +423,20 @@ long constraintTerm_getValue (constraintTerm term)
   BADEXIT;
 }
 
-static /*@exposed@*/ sRef constraintTerm_getsRef (constraintTerm t)
+/*drl added this 10.30.001
+ */
+
+/*@exposed@*/ exprNode constraintTerm_getExprNode (constraintTerm t)
+{
+  llassert (t != NULL);
+  
+  llassert (t->kind == EXPRNODE);
+
+  return t->value.expr;
+
+}
+
+ /*@exposed@*/ sRef constraintTerm_getsRef (constraintTerm t)
 {
   llassert (t != NULL);
   if (t->kind == EXPRNODE)