From 2d4839f89e9848b6dc305d5336f47c618692f141 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 25 Jul 2020 15:09:30 -0700
Subject: [PATCH] #4582 again

---
 src/util/mpq.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/mpq.h b/src/util/mpq.h
index a37af2f6a..9f0cf5369 100644
--- a/src/util/mpq.h
+++ b/src/util/mpq.h
@@ -30,7 +30,6 @@ public:
     mpq(int v):m_num(v), m_den(1) {}
     mpq():m_den(1) {}
     mpq(mpq &&) noexcept = default;
-    mpq & operator=(mpq const &) = default;
     mpq & operator=(mpq&&) = default;
     void swap(mpq & other) { m_num.swap(other.m_num); m_den.swap(other.m_den); }
     mpz const & numerator() const { return m_num; }