From 4dd9583d65d9b40ce07a32d0392a660b237b61f7 Mon Sep 17 00:00:00 2001 From: Pablo Hoch Date: Thu, 14 Mar 2024 15:55:24 +0100 Subject: [PATCH] test --- src/cmd/backend/main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmd/backend/main.cc b/src/cmd/backend/main.cc index 280deee..4bef8c6 100644 --- a/src/cmd/backend/main.cc +++ b/src/cmd/backend/main.cc @@ -30,7 +30,7 @@ int main(int argc, char const* argv[]) { return 0; } - parser.read_configuration_file(); + parser.read_configuration_file( ) ; parser.print_unrecognized(std::cout); parser.print_used(std::cout);