From 162fa3dc96f8aafadc2562a6dd528871694d18fe Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 31 Jan 2023 19:06:20 -0800
Subject: [PATCH] disambiguate overloaded with for Julia bindings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/julia/z3jl.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/julia/z3jl.cpp b/src/api/julia/z3jl.cpp
index 2627679e2..5aef2f41d 100644
--- a/src/api/julia/z3jl.cpp
+++ b/src/api/julia/z3jl.cpp
@@ -528,7 +528,7 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m)
     m.BINARY_OP(tactic, &, &);
     m.BINARY_OP(tactic, |, |);
     m.method("repeat", &repeat);
-    m.method("with", &with);
+    m.method("with", static_cast<tactic (*)(const tactic & , const params &)>(&with));
     m.method("try_for", &try_for);
     m.method("par_or", &par_or);
     m.method("par_and_then", &par_and_then);