Added support for or constraints.

[splint.git] / src / Headers / constraint.h

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 58b8de6d665a0413c41eb46308aa5d1ebe8dfc23..396b30e989d54976c17481e019b16642fc2d06e9 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -13,6 +13,7 @@ arithType;
 
 struct _constraint {
   constraint     orig;
+  constraint     or;
   constraintExpr lexpr;
   arithType       ar;
   constraintExpr  expr;