X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/2e4caa51b7f68083f8e80e59475eb5d045ffd91e..5b99bfd6792ab9229bb5b1d9048833d21b22ecef:/src/loopHeuristics.c

diff --git a/src/loopHeuristics.c b/src/loopHeuristics.c
index d1570c0..adb9510 100644
--- a/src/loopHeuristics.c
+++ b/src/loopHeuristics.c
@@ -200,9 +200,9 @@ static /*@only@*/ constraintExpr getForTimes (/*@notnull@*/ exprNode forPred, /*
   ltCon =  getLessThanConstraints (test->trueEnsuresConstraints);
   incCon = getIncConstraints (inc->ensuresConstraints);
   
-  DPRINTF (( message ("getForTimes: ltCon: %s from %s", constraintList_print (ltCon), constraintList_print (test->trueEnsuresConstraints) ) ));
+  DPRINTF (( message ("getForTimes: ltCon: %s from %s", constraintList_unparse (ltCon), constraintList_unparse (test->trueEnsuresConstraints) ) ));
   
-  DPRINTF (( message ("getForTimes: incCon: %s from %s", constraintList_print (incCon), constraintList_print (inc->ensuresConstraints) ) ));
+  DPRINTF (( message ("getForTimes: incCon: %s from %s", constraintList_unparse (incCon), constraintList_unparse (inc->ensuresConstraints) ) ));
    
   constraintList_elements (ltCon, el) 
     {