From 3f032e85e0339ca73718db431d91849d1fe8c530 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 1 Aug 2019 16:34:37 +0800
Subject: [PATCH] remove include of thread

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/params.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/params.cpp b/src/util/params.cpp
index 3edc7d329..d91c08bca 100644
--- a/src/util/params.cpp
+++ b/src/util/params.cpp
@@ -20,7 +20,6 @@ Notes:
 #include "util/rational.h"
 #include "util/symbol.h"
 #include "util/dictionary.h"
-#include <thread>
 #include <atomic>
 
 params_ref params_ref::g_empty_params_ref;