Boogie: Commented out all occurences of repeated inherited contracts - makes fewer error messages when compiling with runtime checking on.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs
index d300a685..1f563c0f 100644
--- a/Source/Provers/Simplify/ProverInterface.cs
+++ b/Source/Provers/Simplify/ProverInterface.cs
@@ -384,7 +384,7 @@ namespace Microsoft.Boogie.Simplify {
     public override void BeginCheck(string descriptiveName, VCExpr vc, ErrorHandler handler) {

       //Contract.Requires(descriptiveName != null);

       //Contract.Requires(vc != null);

-      Contract.Requires(handler != null);

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

       this.NewProblem(descriptiveName);

       this.proverException = null;