From 105f97d3eeadf17fab6e77835ed77734eba37354 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 25 Jul 2020 15:12:25 -0700 Subject: [PATCH] #4582 again --- src/util/rational.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/rational.h b/src/util/rational.h index 1bafd739c..d80db5f06 100644 --- a/src/util/rational.h +++ b/src/util/rational.h @@ -132,7 +132,7 @@ public: 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);