*** empty log message ***

[splint.git] / src / source.c

diff --git a/src/source.c b/src/source.c
index 5d759830952b1916a01e31a9b374b308183e5385..701c19e168916b8ecf15e4d6e800d04199db80ea 100644 (file)
--- a/src/source.c
+++ b/src/source.c
@@ -142,7 +142,7 @@ extern int inputStream_nextChar (inputStream s)
        }
     }
 
-  TPRINTF (("Next char: %c [%d]", res, res));
+  DPRINTF (("Next char: %c [%d]", res, res));
   return res;
 }