Added htmlfileformat flag.

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index 4037e4d18941eb55969a55bcc1d00bf3a876e459..4d11f040d45ea2fb6f71c5d70b60a7b918574b20 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -1047,7 +1047,7 @@ context_setModeAux (cstring s, bool warn)
          FLG_TYPEUNUSED,
          FLG_CONSTUNUSED, FLG_ENUMMEMUNUSED, FLG_FIELDUNUSED,
          FLG_PTRNUMCOMPARE, FLG_BOOLCOMPARE, FLG_UNSIGNEDCOMPARE,
-         FLG_MUTREP, FLG_NOEFFECT, FLG_IMPTYPE,
+         FLG_MUTREP, FLG_NOEFFECT, FLG_IMPTYPE, 
          FLG_RETVALOTHER, FLG_RETVALBOOL, FLG_RETVALINT,
          FLG_SPECUNDEF, FLG_INCONDEFS, FLG_INCONDEFSLIB, FLG_MISPLACEDSHAREQUAL,
          FLG_MATCHFIELDS,