issue #4582

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jul 22, 2020 · ed58175 · ed58175
1 parent aab50ff
commit ed58175
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/util/mpq.h b/src/util/mpq.h
@@ -31,6 +31,7 @@ class mpq {
     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; }