From 1059f6d3b8a37c7d55ddec780e7b540e3367d039 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 25 Jul 2020 11:54:05 -0700
Subject: [PATCH] #4582 again

---
 src/util/mpq.h      | 4 ++--
 src/util/rational.h | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/util/mpq.h b/src/util/mpq.h
index 5fd4b227d..a37af2f6a 100644
--- a/src/util/mpq.h
+++ b/src/util/mpq.h
@@ -30,8 +30,8 @@ public:
     mpq(int v):m_num(v), m_den(1) {}
     mpq():m_den(1) {}
     mpq(mpq &&) noexcept = default;
-    mpq & operator=(mpq const &) noexcept = default;
-    mpq & operator=(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; }
     mpz const & denominator() const { return m_den; }
diff --git a/src/util/rational.h b/src/util/rational.h
index 617c2fadc..1bafd739c 100644
--- a/src/util/rational.h
+++ b/src/util/rational.h
@@ -40,7 +40,7 @@ public:
     rational() {}
     
     rational(rational const & r) { m().set(m_val, r.m_val); }
-    rational(rational&&) noexcept = default;
+    rational(rational&&) = default;
 
     explicit rational(int n) { m().set(m_val, n); }