Added support for or constraints.

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index dc211c4d0eaa61272010209cf394eeff9375a84e..bc448d5a69a66264e79e216e629624e61754b7fe 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -2823,6 +2823,15 @@ NULL, NULL,
   ",  ",
   0, 0
 },
+    /*drl7x added 4/29/01 */    
+{
+  FK_NT, FK_MEMORY, modeFlag,
+  "orconstraint",
+  FLG_ORCONSTRAINT,
+  "Use limited OR expressions to resolve constraints",
+  ",  ",
+  0, 0
+},
     
 {
   FK_NT, FK_MEMORY, modeFlag,