diff options
Diffstat (limited to 'Source/Provers/Z3/Inspector.cs')
| -rw-r--r-- | Source/Provers/Z3/Inspector.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3/Inspector.cs b/Source/Provers/Z3/Inspector.cs index 3675f6a7..638acdb0 100644 --- a/Source/Provers/Z3/Inspector.cs +++ b/Source/Provers/Z3/Inspector.cs @@ -36,7 +36,7 @@ void ObjectInvariant() }
protected override bool StandardResult(VCExpr node, bool arg) {
- Contract.Requires(node!=null);
+ //Contract.Requires(node!=null);
VCExprNAry nary = node as VCExprNAry;
if (nary != null) {
VCExprLabelOp lab = nary.Op as VCExprLabelOp;
|