From 468e0207f711bf50df8909f443c64ed21ad169de Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Fri, 13 Oct 2017 18:23:30 +0100
Subject: [PATCH] add move constructor to mpf

---
 src/util/mpf.cpp | 6 ------
 src/util/mpf.h   | 7 ++++++-
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index 3218419a9..9e309a726 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -40,12 +40,6 @@ mpf::mpf(unsigned _ebits, unsigned _sbits):
     set(ebits, sbits);
 }
 
-mpf::mpf(mpf const & other) {
-    // It is safe if the mpz numbers are small.
-    // I need it for resize method in vector.
-    // UNREACHABLE();
-}
-
 mpf::~mpf() {
 }
 
diff --git a/src/util/mpf.h b/src/util/mpf.h
index 8070768b2..e679be558 100644
--- a/src/util/mpf.h
+++ b/src/util/mpf.h
@@ -50,7 +50,12 @@ class mpf {
 public:
     mpf();
     mpf(unsigned ebits, unsigned sbits);
-    mpf(mpf const & other);
+    mpf(mpf && other) :
+        ebits(other.ebits),
+        sbits(other.sbits),
+        sign(other.sign),
+        significand(std::move(other.significand)),
+        exponent(other.exponent) {}
     ~mpf();
     unsigned get_ebits() const { return ebits; }
     unsigned get_sbits() const { return sbits; }