disambiguate overloaded with for Julia bindings

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Feb 1, 2023 · 162fa3d · 162fa3d
1 parent 4c6d44f
commit 162fa3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);