mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

mpz.h: fix typo in previous commit (found by Nikolaj)

Browse source
This commit is contained in:
Nuno Lopes 2017-10-11 00:15:04 +01:00
parent 9b54b4e784
commit 27e84c5ffc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/mpz.h
View file

@ -95,7 +95,7 @@ public:
mpz(int v):m_val(v), m_ptr(0) {}
mpz():m_val(0), m_ptr(0) {}
mpz(mpz && other) noexcept : m_val(other.m_val), m_ptr(0) {
std::swap(m_val, other.m_val);
std::swap(m_ptr, other.m_ptr);
}
void swap(mpz & other) {
std::swap(m_val, other.m_val);