From dd6e76478da61583dbaf2ce90428a2345ef13f5d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 2 May 2018 08:51:33 -0700
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/mpq.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/util/mpq.h b/src/util/mpq.h
index 16b57237e..010bb2c8a 100644
--- a/src/util/mpq.h
+++ b/src/util/mpq.h
@@ -501,6 +501,8 @@ public:
 
     void machine_div(mpz const & a, mpz const & b, mpz & c) { mpz_manager<SYNCH>::machine_div(a, b, c); }
 
+    void machine_div_rem(mpz const & a, mpz const & b, mpz & c, mpz& d) { mpz_manager<SYNCH>::machine_div_rem(a, b, c, d); }
+
     void div(mpz const & a, mpz const & b, mpz & c) { mpz_manager<SYNCH>::div(a, b, c); }
     
     void rat_div(mpz const & a, mpz const & b, mpq & c) {