From 801eb47faed33f80024a35c6363854fe4e00d1d9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 May 2020 15:16:08 -0700
Subject: [PATCH] remove thread dependency in symbol.cpp on single thread #4382

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

diff --git a/src/util/mpn.h b/src/util/mpn.h
index d9c71c24b..3abbd87e4 100644
--- a/src/util/mpn.h
+++ b/src/util/mpn.h
@@ -20,7 +20,6 @@ Revision History:
 #define MPN_H_
 
 #include<ostream>
-#include<mutex>
 #include "util/util.h"
 #include "util/buffer.h"
 
diff --git a/src/util/mpz.h b/src/util/mpz.h
index d11abb2dd..f55213cc8 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -20,7 +20,9 @@ Revision History:
 #define MPZ_H_
 
 #include<string>
+#ifndef SINGLE_THREAD
 #include<mutex>
+#endif
 #include "util/util.h"
 #include "util/small_object_allocator.h"
 #include "util/trace.h"