From 051616385f598196ad0b3d080086a5cba14c2fdd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 21 Oct 2021 19:14:04 -0400 Subject: [PATCH] remove deprecated escape string from Julia bindings Signed-off-by: Nikolaj Bjorner --- src/api/julia/z3jl.cpp | 1 - 1 file changed, 1 deletion(-) 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)