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);
       }
     }