remove include of thread

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 1, 2019 · 3f032e8 · 3f032e8
1 parent bec38f2
commit 3f032e8
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/util/params.cpp b/src/util/params.cpp
@@ -20,7 +20,6 @@ Module Name:
 #include "util/rational.h"
 #include "util/symbol.h"
 #include "util/dictionary.h"
-#include <thread>
 #include <atomic>
 
 params_ref params_ref::g_empty_params_ref;