From e4e60bff26c0dfc11c7e2fd0fe6a237527482f14 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 4 Jun 2019 02:58:32 -0700
Subject: [PATCH] include thread in tactical

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/tactical.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tactic/tactical.cpp b/src/tactic/tactical.cpp
index ab5ff4eab..45e768198 100644
--- a/src/tactic/tactical.cpp
+++ b/src/tactic/tactical.cpp
@@ -21,6 +21,7 @@ Notes:
 #include "util/cooperate.h"
 #include "util/scoped_ptr_vector.h"
 #include "tactic/tactical.h"
+#include <thread>
 
 class binary_tactical : public tactic {
 protected: