From be3c7d7115d7fc2856cb60154d8810eb56abfc61 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sun, 2 Oct 2022 21:44:08 +0100
Subject: [PATCH] delete dead code

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

diff --git a/src/util/mpq.h b/src/util/mpq.h
index f1afcbe50..31ffbeab8 100644
--- a/src/util/mpq.h
+++ b/src/util/mpq.h
@@ -32,13 +32,10 @@ public:
     mpq(mpq &&) noexcept = default;
     mpq & operator=(mpq&&) = default;
     mpq & operator=(mpq const&) = delete;
-    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; }
 };
 
-inline void swap(mpq & m1, mpq & m2) { m1.swap(m2); }
-
 template<bool SYNCH = true>
 class mpq_manager : public mpz_manager<SYNCH> {
     mpz m_tmp1;