]> andersk Git - splint.git/blobdiff - src/macrocache.c
Fixed line numbering when multi-line macro parameters are used.
[splint.git] / src / macrocache.c
index e244784f226204c1301cd305c030b1a9ceb74f39..8f447087e3eebb192ef21c10d74bd02f304381e4 100644 (file)
@@ -179,7 +179,7 @@ macrocache_addEntry (macrocache s, /*@only@*/ fileloc fl, /*@only@*/ cstring def
 void
 macrocache_addComment (macrocache s, /*@only@*/ fileloc fl, /*@only@*/ cstring def)
 {
-  DPRINTF (("Add comment: %s / %s", fileloc_unparse (fl), def));
+  DPRINTF (("Macrocache add comment: %s / %s", fileloc_unparse (fl), def));
   macrocache_addGenEntry (s, fl, def, TRUE);
 }
 
This page took 0.059864 seconds and 4 git commands to generate.