From e77ec94c96548def4594aef69b46739cfaf0b4b3 Mon Sep 17 00:00:00 2001
From: FutureRave <edoardo.sanguineti222@gmail.com>
Date: Fri, 25 Nov 2022 20:00:18 +0000
Subject: [PATCH] maint: remove unused headers

---
 src/std_include.hpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/std_include.hpp b/src/std_include.hpp
index dcac135..6ba6a5f 100644
--- a/src/std_include.hpp
+++ b/src/std_include.hpp
@@ -69,10 +69,8 @@
 #include <fstream>
 #include <iostream>
 #include <utility>
-#include <filesystem>
 #include <functional>
 #include <sstream>
-#include <optional>
 
 #include <gsl/gsl>