From f380d4cf83af67b0934e6b133982ad28ea1da520 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 4 Jul 2020 18:25:32 -0700 Subject: [PATCH] mpfx Signed-off-by: Nikolaj Bjorner --- src/util/mpfx.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/mpfx.h b/src/util/mpfx.h index 2320426d5..52775de2a 100644 --- a/src/util/mpfx.h +++ b/src/util/mpfx.h @@ -16,7 +16,7 @@ Author: Revision History: --*/ -#ifndef MPFX_H_ +#pragma once #include "util/id_gen.h" #include "util/util.h" @@ -379,7 +379,7 @@ public: */ void to_mpq(mpfx const & n, unsynch_mpq_manager & m, mpq & t); -#pragma once +#ifndef SINGLE_THREAD /** \brief Convert n into a mpq numeral. */