X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a193690925d356f36267797637c7bc847ab9b8b0..517a2db3da924ba77ae313404da5e12fda798947:/src/context.c?ds=inline

diff --git a/src/context.c b/src/context.c
index cc317ba..b7fcc97 100644
--- 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);
-
-  
 }
 
 /*