From f5511b41747770658aa36a59b7f2306d2a89d99a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 4 Jun 2019 02:44:59 -0700
Subject: [PATCH] missing include

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

diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index b58fbf6fc..969a00e8a 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -19,6 +19,7 @@ Revision History:
 
 
 #include <cmath>
+#include <thread>
 #include "sat/sat_solver.h"
 #include "sat/sat_integrity_checker.h"
 #include "sat/sat_lookahead.h"