From fee4821106a9468a514828b7acda30e6199b6d6b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 19 Nov 2021 21:06:07 +0100
Subject: [PATCH] include thread

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

diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
index 42c364cd6..2de51c3b0 100644
--- a/src/api/api_solver.cpp
+++ b/src/api/api_solver.cpp
@@ -17,6 +17,7 @@ Revision History:
 
 --*/
 #include<iostream>
+#include<thread>
 #include "util/scoped_ctrl_c.h"
 #include "util/cancel_eh.h"
 #include "util/file_path.h"