From 0405a597d4b7c3997fa0aa2e670c808710093974 Mon Sep 17 00:00:00 2001 From: Calvin Loncaric Date: Thu, 9 Dec 2021 14:39:38 -0800 Subject: [PATCH] Fix return type of as_int64 (#5703) --- src/api/c++/z3++.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 95c09e47a..6af9beae7 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -834,7 +834,7 @@ namespace z3 { double as_double() const { double d = 0; is_numeral(d); return d; } uint64_t as_uint64() const { uint64_t r = 0; is_numeral_u64(r); return r; } - uint64_t as_int64() const { int64_t r = 0; is_numeral_i64(r); return r; } + int64_t as_int64() const { int64_t r = 0; is_numeral_i64(r); return r; } /**