Fix bit rot of DPRINTF calls.

[splint.git] / src / constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 60fe0518203c0436ee6501e5500369bffb97c6b7..44d0487b1073d47e4bcf8b0d2657f0ebc87a8143 100644 (file)
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -467,7 +467,7 @@ bool constraintTerm_probSame (constraintTerm term1, constraintTerm term2)
   llassert (term1 !=NULL && term2 !=NULL);
      
  DPRINTF ((message
-           ("Comparing srefs for %s and  %s ", constraintTerm_print(term1), constraintTerm_print(term2)
+           ("Comparing srefs for %s and  %s ", constraintTerm_getName(term1), constraintTerm_getName(term2)
             )
            )
           );
@@ -527,19 +527,19 @@ bool constraintTerm_similar (constraintTerm term1, constraintTerm term2)
     }
   
   DPRINTF((message
-           ("Comparing srefs for %s and  %s ", constraintTerm_print(term1), constraintTerm_print(term2)
+           ("Comparing srefs for %s and  %s ", constraintTerm_getName(term1), constraintTerm_getName(term2)
             )
            )
           );
   
   if (sRef_similarRelaxed(s1, s2)   || sRef_sameName (s1, s2) )
     {
-      DPRINTF ((message (" %s and %s are same", constraintTerm_print(term1), constraintTerm_print(term2)  )  ));
+      DPRINTF ((message (" %s and %s are same", constraintTerm_getName(term1), constraintTerm_getName(term2)  )  ));
       return TRUE;
     }
   else
     {
-      DPRINTF ((message (" %s and %s are not same", constraintTerm_print(term1), constraintTerm_print(term2)  )  ));
+      DPRINTF ((message (" %s and %s are not same", constraintTerm_getName(term1), constraintTerm_getName(term2)  )  ));
       return FALSE;
     }       
 }