diff --git a/src/sat/sat_lookahead.cpp b/src/sat/sat_lookahead.cpp
index 460695edd..5b89b4dfd 100644
--- a/src/sat/sat_lookahead.cpp
+++ b/src/sat/sat_lookahead.cpp
@@ -17,6 +17,8 @@ Author:
 Notes:
 
 --*/
+
+#include <cmath>
 #include "sat/sat_solver.h"
 #include "sat/sat_extension.h"
 #include "sat/sat_lookahead.h"