1 files changed, 5 insertions, 0 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 3249708e..5fe0bcea 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -188,6 +188,7 @@ namespace Microsoft.Boogie {
         {
           TheoremProver.SetTimeOut(0);
         }
+        TheoremProver.Reset();
     }
 
     private static void Setup(Program prog, ProverContext ctx)
@@ -465,6 +466,10 @@ namespace Microsoft.Boogie {
     public virtual void Close() {
     }
 
+    public void Reset()
+    {
+    }
+
     /// <summary>
     /// MSchaef: Allows to Push a VCExpression as Axiom on the prover stack (beta)
     /// for now it is only implemented by ProcessTheoremProver and still requires some