Saving version preented on 092200

[splint.git] / src / constraintResolve.c

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index 2774ad9e7e5dc0c78bdb4dc44ff96797e47d9960..e85e4d1ffc6a1fab31706bdc3a092df703953544 100644 (file)
--- a/src/constraintResolve.c
+++ b/src/constraintResolve.c
@@ -347,7 +347,7 @@ void mergeResolve (exprNode parent, exprNode child1, exprNode child2)
       {
        parent->requiresConstraints = constraintList_copy (child2->requiresConstraints);
        parent->ensuresConstraints = constraintList_copy (child2->ensuresConstraints);
-       DPRINTF((message ("Copied child constraints: pre: %s and post: %s ",
+       DPRINTF((message ("Copied child constraints: pre: %s and post: %s",
                          constraintList_print( child2->requiresConstraints),
                          constraintList_print (child2->ensuresConstraints)
                          )
@@ -357,9 +357,11 @@ void mergeResolve (exprNode parent, exprNode child1, exprNode child2)
 
   llassert(!exprNode_isError(child2) );
   
-  TPRINTF( (message ("Child constraints are %s and %s ",
+  TPRINTF( (message ("Child constraints are %s %s and %s %s",
                     constraintList_print (child1->requiresConstraints),
-                    constraintList_print (child2->requiresConstraints)
+                    constraintList_print (child1->ensuresConstraints),
+                    constraintList_print (child2->requiresConstraints),
+                    constraintList_print (child2->ensuresConstraints)
                     ) ) );
  
   parent->requiresConstraints = constraintList_new();