diff options
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Provers/Simplify/Prover.cs | 1 |
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();
|