Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / flags.c

diff --git a/src/flags.c b/src/flags.c
index b908b153959eb8cffa184ff035bd39520f111545..e8b3ceb00f6f8decc50e6550627a3dad85f9cf07 100644 (file)
--- 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)));