Commented out segfault in new code.

[splint.git] / src / functionClauseList.c

diff --git a/src/functionClauseList.c b/src/functionClauseList.c
index d543b43eeb084a8290aad244afe8354364a2d04d..9180f10fe39cb7aa02bb46a7d839251358ca5b74 100644 (file)
--- a/src/functionClauseList.c
+++ b/src/functionClauseList.c
@@ -188,12 +188,12 @@ functionClauseList_ImplictConstraints (functionClauseList s)
                {
                  constraintList implCons = getImplicitFcnConstraints ();
 
-                 TPRINTF((message("functionClauseList_ImplictConstraints adding the implict constraints: %s to %s",
+                 DPRINTF((message("functionClauseList_ImplictConstraints adding the implict constraints: %s to %s",
                                   constraintList_print(implCons), constraintList_print( con->constraint.buffer) ) ));
                  
                  con->constraint.buffer  = constraintList_addList ( con->constraint.buffer, constraintList_copy(implCons));
 
-                 TPRINTF((message("functionClauseList_ImplictConstraints the new constraint is %s",
+                 DPRINTF((message("functionClauseList_ImplictConstraints the new constraint is %s",
                                   constraintList_print( con->constraint.buffer) ) ));