X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/155af98de2d41917730964947d990b7fb70ddc01..abd7f89523564e5e238e5852585b98f72c3b48f4:/src/macrocache.c diff --git a/src/macrocache.c b/src/macrocache.c index e244784..8f44708 100644 --- a/src/macrocache.c +++ b/src/macrocache.c @@ -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); }