From 86cd755eec47845e400990c39f44bb5bbbf25d6a Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 20 Aug 2010 00:54:15 +0000
Subject: Boogie: Fixed some doubly-inherited-contract occurrences.

---
 Source/VCGeneration/Context.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/Context.cs b/Source/VCGeneration/Context.cs
index da0bc5b0..928dd4a6 100644
--- a/Source/VCGeneration/Context.cs
+++ b/Source/VCGeneration/Context.cs
@@ -36,7 +36,7 @@ namespace Microsoft.Boogie
   }
   
 [ContractClassFor(typeof(ProverContext))]
-public class ProverContextContracts:ProverContext{
+public abstract class ProverContextContracts:ProverContext{
   public override void AddAxiom(VCExpr vc) {
   }
   public override void  AddAxiom(Axiom a, string attributes)
@@ -257,7 +257,7 @@ void ObjectInvariant()
 
   [ContractClassFor(typeof(VCExprTranslator))]
 
-  public class VCExprTranslatorContracts : VCExprTranslator {
+  public abstract class VCExprTranslatorContracts : VCExprTranslator {
     public override object Clone() {
       Contract.Ensures(Contract.Result<object>() != null);
       throw new NotImplementedException();
-- 
cgit v1.2.3