diff options
Diffstat (limited to 'Source/Provers/Isabelle/Prover.cs')
| -rw-r--r-- | Source/Provers/Isabelle/Prover.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Isabelle/Prover.cs b/Source/Provers/Isabelle/Prover.cs index 696095eb..3544458e 100644 --- a/Source/Provers/Isabelle/Prover.cs +++ b/Source/Provers/Isabelle/Prover.cs @@ -936,7 +936,7 @@ namespace Microsoft.Boogie.Isabelle { public bool VisitBvConcatOp(VCExprNAry node, B2I b2i) {
//Contract.Requires(node != null);
//Contract.Requires(b2i != null);
- Contract.Requires(node.Length >= 2);
+ //Contract.Requires(node.Length >= 2);
VCExpr child1 = node[0];
Contract.Assert(child1 != null);
|