mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-13 09:26:15 +00:00
Code Activity

disambiguate overloaded with for Julia bindings

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-01-31 19:06:20 -08:00
parent 4c6d44f974
commit 162fa3dc96
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/julia/z3jl.cpp
View file

@ -528,7 +528,7 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m)
m.BINARY_OP(tactic, &, &); m.BINARY_OP(tactic, &, &);
m.BINARY_OP(tactic, |, |); m.BINARY_OP(tactic, |, |);
m.method("repeat", &repeat); 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("try_for", &try_for);
m.method("par_or", &par_or); m.method("par_or", &par_or);
m.method("par_and_then", &par_and_then); m.method("par_and_then", &par_and_then);