diff options
author | tabarbe <unknown> | 2010-08-27 21:15:08 +0000 |
---|---|---|
committer | tabarbe <unknown> | 2010-08-27 21:15:08 +0000 |
commit | c333ecd2f30badea143e79f5f944a8c63398b959 (patch) | |
tree | 28b04dc9f46d6fa90b4fdf38ffb24898bdc139b0 /Source/AIFramework/Polyhedra/LinearConstraintSystem.cs | |
parent | dce6bf46952b5dd470ae841cae03706dbc30bc3b (diff) |
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).
Diffstat (limited to 'Source/AIFramework/Polyhedra/LinearConstraintSystem.cs')
-rw-r--r-- | Source/AIFramework/Polyhedra/LinearConstraintSystem.cs | 4 |
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);
}
}
|