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)