From c2a59a89af83433faa0b6bfe1cdb3bb0ffdcbf96 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 May 2020 15:32:23 -0700
Subject: [PATCH] thanks to
 https://github.com/Z3Prover/z3/pull/4382#issuecomment-630468832_

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/mpz.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/util/mpz.h b/src/util/mpz.h
index f55213cc8..dee54b1c8 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -20,9 +20,7 @@ Revision History:
 #define MPZ_H_
 
 #include<string>
-#ifndef SINGLE_THREAD
-#include<mutex>
-#endif
+#include "util/mutex.h"
 #include "util/util.h"
 #include "util/small_object_allocator.h"
 #include "util/trace.h"