It mostly works but it has a convolted API that needs fixxing.

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 471dae77401a498bd6a21ebc79cba1f286454bce..e7f05511ddde20da0850826e728a93a588165960 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -320,7 +320,7 @@ bool constraintTerm_similar (constraintTerm term1, constraintTerm term2)
       return FALSE;
     }
       
- DPRINTF ( (message
+ TPRINTF ( (message
            ("Comparing srefs for %s and  %s ", constraintTerm_print(term1), constraintTerm_print(term2)
             )
            )
@@ -333,7 +333,7 @@ bool constraintTerm_similar (constraintTerm term1, constraintTerm term2)
    }
  else
    {
-     DPRINTF ((message (" %s and %s are not same", constraintTerm_print(term1), constraintTerm_print(term2)  )  ));
+     TPRINTF ((message (" %s and %s are not same", constraintTerm_print(term1), constraintTerm_print(term2)  )  ));
      return FALSE;
    }