Merged with Dave Evans's changes.

[splint.git] / src / usymtab.c

diff --git a/src/usymtab.c b/src/usymtab.c
index 31ec5b3ec3365fc37483a2d8b6d0d02ade8cc4e5..28ce76a70bb79e7870150db1711af3cb24b33ccc 100644 (file)
--- a/src/usymtab.c
+++ b/src/usymtab.c
@@ -3721,7 +3721,7 @@ void usymtab_exitScope (exprNode expr)
          llassert (utab != GLOBAL_ENV);
        }
     } else {
-      llcontbug (("exitScope: in branch: %s", usymtab_unparseStack ()));
+      llcontbug (message ("exitScope: in branch: %s", usymtab_unparseStack ()));
       /*@-branchstate@*/ 
     } /*@=branchstate@*/
   }