mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 04:48:45 +00:00
Code Activity

add move constructor to rational

Browse source
This commit is contained in:
Nuno Lopes 2017-10-15 00:08:50 +01:00
parent 912a729097
commit 6c2d0394ac
1 changed files with 1 additions and 0 deletions

1
src/util/rational.h
View file

@ -41,6 +41,7 @@ public:
rational() {}
rational(rational const & r) { m().set(m_val, r.m_val); }
rational(rational && r) : m_val(std::move(r.m_val)) {}
explicit rational(int n) { m().set(m_val, n); }