X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/flags.c diff --git a/src/flags.c b/src/flags.c index b908b15..e8b3ceb 100644 --- a/src/flags.c +++ b/src/flags.c @@ -493,7 +493,6 @@ printAllFlags (bool desc, bool full) cstringSList_elements (fl, el) { - /*@i22@*/ /*find out why this is necessary*/ cstring tmp; tmp = cstring_copy(el); llmsg (message ("%q\n\n", describeFlag (tmp)));