diff --git a/src/sat/smt/intblast_solver.cpp b/src/sat/smt/intblast_solver.cpp
index b7d9a0ab5..6d1b9e5cd 100644
--- a/src/sat/smt/intblast_solver.cpp
+++ b/src/sat/smt/intblast_solver.cpp
@@ -18,6 +18,7 @@ Author:
 #include "sat/smt/intblast_solver.h"
 #include "sat/smt/euf_solver.h"
 #include "sat/smt/arith_value.h"
+#include <filesystem>
 
 
 namespace intblast {