From 045fbaec0eee3ea114dafac9f27683f2354a11ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Mon, 4 Dec 2023 17:36:20 +0100
Subject: [PATCH] Remove empty line

[skip ci]
---
 src/ConfigFile.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ConfigFile.cc b/src/ConfigFile.cc
index 5b938d6d..3c25a74f 100644
--- a/src/ConfigFile.cc
+++ b/src/ConfigFile.cc
@@ -166,7 +166,6 @@ ConfigFile::getConfigFileInfo(const filesystem::path& config_file)
       if (!configFile.is_open())
         {
           cerr << "ERROR: Couldn't open file " << config_file.string() << endl;
-          ;
           exit(EXIT_FAILURE);
         }
     }