X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3b0d2de0085f405382c9334fe2ea2b9894e0fc6b..8f58355ac23c75fac70c5eb471a15034bb90816e:/src/functionClauseList.c

diff --git a/src/functionClauseList.c b/src/functionClauseList.c
index cb1a432..2752d6b 100644
--- 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) );