From 51d43c04eae2cd19aa2df68e65ea428e8b966338 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 4 Jul 2020 17:13:04 -0700
Subject: [PATCH] st

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

diff --git a/src/util/mpff.h b/src/util/mpff.h
index 6a784d712..cb352cec8 100644
--- a/src/util/mpff.h
+++ b/src/util/mpff.h
@@ -447,12 +447,14 @@ public:
     */
     void to_mpq(mpff const & n, unsynch_mpq_manager & m, mpq & t);
 
+#ifndef SINGLE_THREAD
     /**
        \brief Convert n into a mpq numeral.
 
        \remark if exponent(n) is too big, we may run out of memory.
     */
     void to_mpq(mpff const & n, synch_mpq_manager & m, mpq & t);
+#endif
 
     /**
        \brief Return n as an int64.