mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-07 22:04:53 +00:00
Code Activity

fix

Browse source
This commit is contained in:
Nuno Lopes 2026-02-15 16:17:57 +00:00
parent 67ce05c1f5
commit 1c5cbcbe92
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/mpq.h
View file

@ -672,7 +672,7 @@ public:
set(target.m_den, source.m_den);
}
void set(mpz & a, int val) { mpz_manager<SYNCH>::set(a, val); }
void set(mpz & a, int64_t val) { mpz_manager<SYNCH>::set(a, val); }
void set(mpq & a, int val) {
set(a.m_num, val);

6
src/util/mpz.h
View file

@ -601,11 +601,11 @@ public:
void set(mpz & a, char const * val);
void set(mpz & a, int64_t val) {
if (mpz::fits_in_small(v) && is_small(c)) {
c.set(v);
if (mpz::fits_in_small(val) && is_small(a)) {
a.set(v);
}
else {
set_big_i64(c, v);
set_big_i64(a, v);
}
}