Modified the doc/Makefile.am so that the man page is install under make install.

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index d4755345ccc5db2e22eab7c3d4c173a194cfbc01..95735de8b4db692a5c694e208fe848fc16fd891c 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -916,7 +916,7 @@ context_resetAllFlags (void)
    */
 
   /* commenting ou until some output issues are fixed */
-  /*  gc.flags[FLG_ORCONSTRAINT] = TRUE;*/
+  /* gc.flags[FLG_ORCONSTRAINT] = TRUE;*/
   
   gc.flags[FLG_CONSTRAINTLOCATION] = TRUE;