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"