From 7373946d6739ce58b761edd6f90ba28d5ee76a72 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20Schr=C3=B6er?=
 <Philipp15b@users.noreply.github.com>
Date: Fri, 7 May 2021 23:00:33 +0200
Subject: [PATCH] julia: fix duplicate method (#5251)

Resulted in "Double registration for method" errors when loading Z3.jl
with a current build of Z3.
---
 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 5b04d4a17..dc18e37b6 100644
--- a/src/api/julia/z3jl.cpp
+++ b/src/api/julia/z3jl.cpp
@@ -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)