From c2bf8ef410c17cd67ee1505df0ba49ab542b497c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 1 May 2018 15:03:15 -0700 Subject: [PATCH] resolve Signed-off-by: Nikolaj Bjorner --- src/util/rational.h | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/util/rational.h b/src/util/rational.h index 644ca4342..dc7b79419 100644 --- a/src/util/rational.h +++ b/src/util/rational.h @@ -189,12 +189,6 @@ public: return r; } - friend inline rational machine_div_rem(rational const & r1, rational const & r2, rational & rem) { - rational r; - rational::m().machine_idiv(r1.m_val, r2.m_val, r.m_val, rem.m_val); - return r; - } - friend inline rational mod(rational const & r1, rational const & r2) { rational r; rational::m().mod(r1.m_val, r2.m_val, r.m_val);