Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index cc317ba1b6087197761cda7499dbc8a802382390..b7fcc97fbb98cf8a1a5c6c5c7a76b9e6dd74ddff 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -339,7 +339,7 @@ context_suppressFlagMsg (flagcode flag, fileloc fl)
       return (!context_getFlag (flag)
              || context_inSuppressRegion ()
              || context_inSuppressZone (fl)
-             || (/*@!@@#@ gc.inDerivedFile && */ context_inSuppressFlagZone (fl, flag)));
+             || (context_inSuppressFlagZone (fl, flag))); /* removed gc.inDerivedFile from this */
     }
   else
     {
@@ -4374,8 +4374,6 @@ context_destroyMod (void)
   globSet_free (gc.globs_used);
   metaStateTable_free (gc.stateTable);
   annotationTable_free (gc.annotTable);
-
-  
 }
 
 /*