From 2813ef2d18ad4533b1ac58e6a01680ad0c596698 Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Fri, 21 Feb 2020 19:51:04 +0100
Subject: [PATCH] remove unused header

---
 src/DynareMain.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/DynareMain.cc b/src/DynareMain.cc
index e64b44ae..73a1319e 100644
--- a/src/DynareMain.cc
+++ b/src/DynareMain.cc
@@ -17,7 +17,6 @@
  * along with Dynare.  If not, see <http://www.gnu.org/licenses/>.
  */
 
-#include <filesystem>
 #include <iostream>
 #include <sstream>
 #include <fstream>
-- 
GitLab