From 5f85e8afb614999c43df1d4cff399a4875125270 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Wed, 23 Feb 2011 00:49:51 +0000
Subject: Provide dummy implementation of FlushAxiomsToTheoremProver()

---
 Source/Provers/SMTLib/ProverInterface.cs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Source/Provers')

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index a034c37d..ee9e5df2 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -169,6 +169,12 @@ namespace Microsoft.Boogie.SMTLib
       }
     }
 
+    public override int FlushAxiomsToTheoremProver()
+    {
+      // we feed the axioms when begincheck is called.
+      return 0;
+    }
+
     private void FlushAxioms()
     {
       TypeDecls.Iter(SendCommon);
-- 
cgit v1.2.3