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 "";