Fix return type of as_int64 (#5703)

Z3Prover · Dec 9, 2021 · 0405a59 · 0405a59
1 parent 51fa40e
commit 0405a59
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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; }
 
 
         /**