mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-03 15:47:55 +00:00
Code Activity

fix

Browse source
This commit is contained in:
Nuno Lopes 2026-02-15 16:19:51 +00:00
parent 1c5cbcbe92
commit 9448f67d21
2 changed files with 3 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/util/mpq.h
View file

@ -674,7 +674,7 @@ public:
void set(mpz & a, int64_t 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) { void set(mpq & a, int64_t val) {
set(a.m_num, val); set(a.m_num, val);
reset_denominator(a); reset_denominator(a);
} }
@ -724,13 +724,6 @@ public:
void set(mpq & a, char const * val); void set(mpq & a, char const * val);
void set(mpz & a, int64_t val) { mpz_manager<SYNCH>::set(a, val); }
void set(mpq & a, int64_t val) {
set(a.m_num, val);
reset_denominator(a);
}
void set(mpz & a, uint64_t val) { mpz_manager<SYNCH>::set(a, val); } void set(mpz & a, uint64_t val) { mpz_manager<SYNCH>::set(a, val); }
void set(mpq & a, uint64_t val) { void set(mpq & a, uint64_t val) {

4
src/util/mpz.h
View file

@ -602,10 +602,10 @@ public:
void set(mpz & a, int64_t val) { void set(mpz & a, int64_t val) {
if (mpz::fits_in_small(val) && is_small(a)) { if (mpz::fits_in_small(val) && is_small(a)) {
a.set(v); a.set(val);
} }
else { else {
set_big_i64(a, v); set_big_i64(a, val);
} }
} }