mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity

julia: fix duplicate method (#5251)

Browse source 
Resulted in "Double registration for method" errors when loading Z3.jl
with a current build of Z3.
This commit is contained in:
Philipp Schröer 2021-05-07 23:00:33 +02:00 • committed by GitHub
parent 7e7360dd0c
commit 7373946d67
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -451,7 +451,7 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m)
.method("add", static_cast<void (optimize::*)(expr const &)>(&optimize::add))
.method("add", static_cast<optimize::handle (optimize::*)(expr const &, unsigned)>(&optimize::add))
.method("add", static_cast<void (optimize::*)(expr const &, expr const &)>(&optimize::add))
.method("add", static_cast<optimize::handle (optimize::*)(expr const &, unsigned)>(&optimize::add_soft))
.method("add", static_cast<void (optimize::*)(expr const &, char const *)>(&optimize::add))
.method("add_soft", static_cast<optimize::handle (optimize::*)(expr const &, unsigned)>(&optimize::add_soft))
.method("add_soft", static_cast<optimize::handle (optimize::*)(expr const &, char const *)>(&optimize::add_soft))
.MM(optimize, maximize)