#4582 again

Z3Prover · Jul 25, 2020 · 105f97d · 105f97d
1 parent 2133ba0
commit 105f97d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/rational.h b/src/util/rational.h
@@ -132,7 +132,7 @@ class rational {
 
     rational const & get_infinitesimal() const { return m_zero; }
 
-    rational & operator=(rational&&) noexcept = default;
+    rational & operator=(rational&&) = default;
 
     rational & operator=(rational const & r) {
         m().set(m_val, r.m_val);