Boogie: Removed some errors with code contracts (commenting out doubly-inherited requires statements), and set the code contracts settings to the correct compilation style for when runtime checking is turned on. (I did not turn on runtime checking, however).

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
index 8e5fdf86..c259febe 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
+++ b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
@@ -1002,7 +1002,7 @@ Contract.Requires(oldName != null);
       }

       [Pure]

       public object DoVisit(ExprVisitor/*!*/ visitor) {

-        Contract.Requires(visitor != null);

+        //Contract.Requires(visitor != null);

         return visitor.VisitVariable(this);

       }

     }

@@ -1592,7 +1592,7 @@ Contract.Requires(oldName != null);
       }

       [Pure]

       public object DoVisit(ExprVisitor/*!*/ visitor) {

-        Contract.Requires(visitor != null);

+        //Contract.Requires(visitor != null);

         return visitor.VisitVariable(this);

       }

     }