From ed58175e1b9f7f2e44bfbf5bed503551c435cc85 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 21 Jul 2020 18:23:31 -0700 Subject: [PATCH] issue #4582 Signed-off-by: Nikolaj Bjorner --- src/util/mpq.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util/mpq.h b/src/util/mpq.h index eef06e2ae..90a01530b 100644 --- a/src/util/mpq.h +++ b/src/util/mpq.h @@ -31,6 +31,7 @@ public: mpq():m_den(1) {} mpq(mpq &&) noexcept = default; mpq & operator=(mpq const &) = delete; + mpq & operator=(mpq&&) = delete; void swap(mpq & other) { m_num.swap(other.m_num); m_den.swap(other.m_den); } mpz const & numerator() const { return m_num; } mpz const & denominator() const { return m_den; }