diff options
| author |  tabarbe <unknown> | 2010-08-20 00:53:04 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-20 00:53:04 +0000 |
| commit | c8e02f87038179ab575044c3e7eb00a2d5115389 (patch) | |
| tree | 0edfc5b761bed9c1be85f02cf017395ec0af1a62 /Source/Provers/Simplify | |
| parent | d1731a0d3d057402dfd2eae0a323ca0c77d6b8dc (diff) | |
Boogie: Fixed some doubly-inherited-contract occurrences.
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);
|