From d335b6b0351a0e049fbac4ab6a202bd1061cb93a Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Sat, 11 May 2024 12:44:57 +0200
Subject: [PATCH] add missing include

---
 src/sat/smt/intblast_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

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 {