]> andersk Git - splint.git/blobdiff - src/context.c
Fixed bug preventing +showconstraintlocation from being the default.
[splint.git] / src / context.c
index 361692a8f820e29f4b778b3336498129c9452504..d91d0ab09ad495fab2ca263738194c9d3feb8c89 100644 (file)
@@ -914,7 +914,10 @@ context_resetAllFlags (void)
   /*
     Changed for 3.0.0.19
    */
-  gc.flags[FLG_ORCONSTRAINT] = TRUE;
+
+  /* commenting ou until some output issues are fixed */
+  /*  gc.flags[FLG_ORCONSTRAINT] = TRUE;*/
+  
   gc.flags[FLG_CONSTRAINTLOCATION] = TRUE;
 
   /*drl 1/18/2002*/
This page took 0.025789 seconds and 4 git commands to generate.