mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-05 23:06:12 +00:00
Code Activity

fix

Browse source
This commit is contained in:
Nuno Lopes 2026-02-15 16:22:17 +00:00
parent 5f429d1223
commit 8ce362abda
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/rational.h
View file

@ -48,7 +48,7 @@ public:
explicit rational(int64_t n) { m().set(m_val, n); } explicit rational(int64_t n) { m().set(m_val, n); }
explicit rational(unsigned n) { m().set(m_val, n); } explicit rational(uint64_t n) { m().set(m_val, n); }
rational(int n, int d) { m().set(m_val, n, d); } rational(int n, int d) { m().set(m_val, n, d); }
rational(mpq const & q) { m().set(m_val, q); } rational(mpq const & q) { m().set(m_val, q); }