further fixes to Z3api project trying to make it work; still a long way off.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Provers/Z3api/StubContext.cs b/Source/Provers/Z3api/StubContext.cs
index 80f1776e..e4dd9318 100644
--- a/Source/Provers/Z3api/StubContext.cs
+++ b/Source/Provers/Z3api/StubContext.cs
@@ -19,8 +19,8 @@ namespace Microsoft.Boogie.Z3 {
   

     public void CreateBacktrackPoint(){}

     public void Backtrack(){}

-    public void AddAxiom(VCExpr vc) {}

-    public void AddConjecture(VCExpr vc){}

+    public void AddAxiom(VCExpr vc, LineariserOptions linOptions) {}

+    public void AddConjecture(VCExpr vc, LineariserOptions linOptions){}

     public void AddSmtlibString(string smtlibString) {}

     public string GetDeclName(Z3ConstDeclAst constDeclAst) {

       return "";