Fixed manual typo.

[splint.git] / src / usymtab.c

diff --git a/src/usymtab.c b/src/usymtab.c
index 52a2f287262529be444f11d86434160812477cfa..099737a3754e22ce47b8b3633fe2c30adb09fdda 100644 (file)
--- a/src/usymtab.c
+++ b/src/usymtab.c
@@ -363,6 +363,8 @@ usymtab_initGlobalMarker () /*@globals globtab@*/
 void
 usymtab_initBool ()
 {
+  DPRINTF (("Init bool!"));
+
   if (context_getFlag (FLG_NOLIB))
     {
       ctype boolt = ctype_bool;