maint: remove unused headers

2025-08-30 13:03:14 +00:00 · 2022-11-25 20:00:18 +00:00
parent 41b9902051
commit e77ec94c96
1 changed files with 0 additions and 2 deletions
--- 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>