Fix bit rot of DPRINTF calls.

[splint.git] / src / constraint.c

diff --git a/src/constraint.c b/src/constraint.c
index ac18923a630942e1a9b814252b4a18e16c75e358..99c008b313a1983514ab4f954d27a7c77c0d2637 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.c
@@ -994,7 +994,7 @@ constraint constraint_preserveOrig (/*@returned@*/ constraint c) /*@modifies c @
 {
   if (constraint_isDefined (c))
     {
-      DPRINTF (("Doing constraint_preserverOrig for %q", constraint_printDetailed (c)));
+      DPRINTF (("Doing constraint_preserverOrig for %q", constraint_printLocation (c)));
       
       if (c->orig == constraint_undefined)
        {