*** empty log message ***

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index 71d94484b0147f3ba923ae44bb31c7a520b651fc..ac81cc73a8c052b9035ec739182f844e62df5581 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -4057,6 +4057,7 @@ bool context_anyErrors (void)
 void context_hasError (void)
 {
   gc.numerrors++;
+  DPRINTF (("num errors: %d", gc.numerrors));
 }
 
 int context_numErrors (void)