From 6a7343aab4addd0d908da1575f975d8691a98a25 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 24 Jan 2023 13:06:41 -0800
Subject: [PATCH] update julia bindings to use 64-bit mk_real (real_val)

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 755911f6c..2627679e2 100644
--- a/src/api/julia/z3jl.cpp
+++ b/src/api/julia/z3jl.cpp
@@ -692,7 +692,7 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m)
         .method("real_val", [](context &a, const jlcxx::StrictlyTypedNumber<unsigned> b) { return a.real_val(b.value); })
         .method("real_val", [](context &a, const jlcxx::StrictlyTypedNumber<int64_t>  b) { return a.real_val(b.value); })
         .method("real_val", [](context &a, const jlcxx::StrictlyTypedNumber<uint64_t> b) { return a.real_val(b.value); })
-        .method("real_val", static_cast<expr (context::*)(int, int)>(&context::real_val))
+        .method("real_val", static_cast<expr (context::*)(int64_t, int64_t)>(&context::real_val))
         .method("real_val", static_cast<expr (context::*)(char const *)>(&context::real_val))
         //
         .method("bv_val", [](context &a, const jlcxx::StrictlyTypedNumber<int>      b, unsigned c) { return a.bv_val(b.value, c); })