diff --git a/src/api/julia/z3jl.cpp b/src/api/julia/z3jl.cpp index ccb2f7d07..73e4356b2 100644 --- a/src/api/julia/z3jl.cpp +++ b/src/api/julia/z3jl.cpp @@ -214,7 +214,6 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m) .MM(expr, numerator) .MM(expr, denominator) .MM(expr, is_string_value) - .MM(expr, get_escaped_string) .MM(expr, get_string) .MM(expr, decl) .MM(expr, num_args)