mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Fix return type of as_int64 (#5703)
This commit is contained in:
parent
51fa40ece5
commit
0405a597d4
|
@ -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; }
|
||||
|
||||
|
||||
/**
|
||||
|
|
Loading…
Reference in a new issue