diff options
Diffstat (limited to 'Source/Provers/Simplify')
| -rw-r--r-- | Source/Provers/Simplify/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs index abe644ec..ed2402b1 100644 --- a/Source/Provers/Simplify/ProverInterface.cs +++ b/Source/Provers/Simplify/ProverInterface.cs @@ -587,7 +587,7 @@ namespace Microsoft.Boogie.Simplify { }
}
[ContractClassFor(typeof(ProcessTheoremProver))]
- public class ProcessTheoremProverContracts :ProcessTheoremProver{
+ public abstract class ProcessTheoremProverContracts :ProcessTheoremProver{
protected override AxiomVCExprTranslator SpawnVCExprTranslator(ProverOptions p) {
Contract.Requires(p != null);
Contract.Ensures(Contract.Result<AxiomVCExprTranslator>() != null);
|