Added a constructor to a contract class otherwise the compiler complained about the default nullary one calling its base class nullary ctor, and there wasn't one.

1 files changed, 1 insertions, 0 deletions

diff --git a/Source/Provers/Simplify/Prover.cs b/Source/Provers/Simplify/Prover.cs
index 595560ed..d49b10e1 100644
--- a/Source/Provers/Simplify/Prover.cs
+++ b/Source/Provers/Simplify/Prover.cs
@@ -417,6 +417,7 @@ namespace Microsoft.Boogie.Simplify {
   }

   [ContractClassFor(typeof(ProverProcess))]

   public abstract class ProverProcessContracts : ProverProcess {

+    private ProverProcessContracts() : base(null, null) { }

     public override string OptionComments() {

       Contract.Ensures(Contract.Result<string>() != null);

       throw new NotImplementedException();