include thread

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Nov 19, 2021 · fee4821 · fee4821
1 parent a7d2478
commit fee4821
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"