Worked on the parallelization.

1 files changed, 5 insertions, 5 deletions

diff --git a/Source/VCGeneration/Context.cs b/Source/VCGeneration/Context.cs
index a836b6fb..7931a042 100644
--- a/Source/VCGeneration/Context.cs
+++ b/Source/VCGeneration/Context.cs
@@ -34,7 +34,7 @@ namespace Microsoft.Boogie
     public abstract Boogie2VCExprTranslator BoogieExprTranslator { get; }

     public abstract VCGenerationOptions VCGenOptions { get; }

     public abstract object Clone();

-    public abstract void Clear();

+    public abstract void Reset();

   }

   

 [ContractClassFor(typeof(ProverContext))]

@@ -121,11 +121,11 @@ public abstract class ProverContextContracts:ProverContext{
       this.orderingAxiomBuilder = oab;

     }

 

-    public override void Clear()

+    public override void Reset()

     {

-        SetupOrderingAxiomBuilder(gen, translator);

-        distincts = new List<Variable>();

-        axiomConjuncts = new List<VCExpr>();

+      SetupOrderingAxiomBuilder(gen, translator);

+      distincts = new List<Variable>();

+      axiomConjuncts = new List<VCExpr>();

     }

 

     protected DeclFreeProverContext(DeclFreeProverContext ctxt) {