From e7fe310bc29997a609eb94117c49816d4d662ffe Mon Sep 17 00:00:00 2001
From: Martin Blicha <martin.blicha@gmail.com>
Date: Mon, 26 Jun 2023 13:24:22 +0200
Subject: [PATCH] Remove unnecessary header

---
 libsolidity/interface/SMTSolverCommand.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/libsolidity/interface/SMTSolverCommand.h b/libsolidity/interface/SMTSolverCommand.h
index fad3dfe4b..96969d0ec 100644
--- a/libsolidity/interface/SMTSolverCommand.h
+++ b/libsolidity/interface/SMTSolverCommand.h
@@ -19,8 +19,6 @@
 
 #include <libsolidity/interface/ReadFile.h>
 
-#include <boost/filesystem.hpp>
-
 namespace solidity::frontend
 {