From 65834661a8369bcb0fda19dd129a194e751a7f0c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 7 Apr 2018 10:53:52 -0700 Subject: [PATCH] disambiguate calls to set Signed-off-by: Nikolaj Bjorner --- src/api/api_datalog.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/api/api_datalog.cpp b/src/api/api_datalog.cpp index 5e0082f09..0e3ae4a74 100644 --- a/src/api/api_datalog.cpp +++ b/src/api/api_datalog.cpp @@ -213,7 +213,9 @@ extern "C" { // must start loggging here, since function uses Z3_get_sort_kind above LOG_Z3_get_finite_domain_sort_size(c, s, out); RESET_ERROR_CODE(); - VERIFY(mk_c(c)->datalog_util().try_get_size(to_sort(s), *out)); + uint64 _out = 0; + VERIFY(mk_c(c)->datalog_util().try_get_size(to_sort(s), _out)); + *out = static_cast<__uint64>(_out); return Z3_TRUE; Z3_CATCH_RETURN(Z3_FALSE);