Fixed problem with NULL being changed.

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index f3e0290c96922c9c3df782fa3b8b074e07eb88b1..092eecf2205263b77775d2eb53705138afa28479 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -844,7 +844,7 @@ context_resetAllFlags (void)
   gc.flags[FLG_NULLINIT] = TRUE;
 
   gc.flags[FLG_STRINGLITTOOLONG] = TRUE;
-
+  gc.flags[FLG_MACROCONSTDIST] = TRUE;
   gc.flags[FLG_LIKELYBOOL] = TRUE;
   gc.flags[FLG_ZEROPTR] = TRUE;
   gc.flags[FLG_NUMLITERAL] = TRUE;