Fixed off by one bug involving arrays initialized with a block of values.

[splint.git] / src / functionClauseList.c

diff --git a/src/functionClauseList.c b/src/functionClauseList.c
index cb1a43222212d7424a9b2262d444bce4f6f78531..2752d6b6670e7a199edfea405e541a5699ba52e9 100644 (file)
--- a/src/functionClauseList.c
+++ b/src/functionClauseList.c
@@ -203,7 +203,7 @@ functionClauseList_setImplicitConstraints (/*@returned@*/ functionClauseList s)
                  constraintList implCons = getImplicitFcnConstraints ();
                  
                  DPRINTF ((message ("functionClauseList_ImplicitConstraints adding the implict constraints: %s to %s",
-                                    constraintList_print(implCons), constraintList_print (con->constraint.buffer))));
+                                    constraintList_unparse(implCons), constraintList_unparse (con->constraint.buffer))));
                  
                  functionConstraint_addBufferConstraints (con, constraintList_copy (implCons) );