From 444071348af80fcac6d86ecb89290ae76f6ad92e Mon Sep 17 00:00:00 2001 From: Marcel Walter Date: Thu, 5 Dec 2024 18:32:43 +0100 Subject: [PATCH] :art: Fixed missing includes and consistency --- cli/cmd/io/read.hpp | 1 + cli/cmd/physical_design/exact.hpp | 8 ++++---- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/cli/cmd/io/read.hpp b/cli/cmd/io/read.hpp index b50d96d60..cdf8e6aa0 100644 --- a/cli/cmd/io/read.hpp +++ b/cli/cmd/io/read.hpp @@ -15,6 +15,7 @@ #include #include +#include #include #include diff --git a/cli/cmd/physical_design/exact.hpp b/cli/cmd/physical_design/exact.hpp index 84f2c8607..7e054182c 100644 --- a/cli/cmd/physical_design/exact.hpp +++ b/cli/cmd/physical_design/exact.hpp @@ -2,11 +2,11 @@ // Created by marcel on 06.01.20. // -#if (FICTION_Z3_SOLVER) - #ifndef FICTION_CMD_EXACT_HPP #define FICTION_CMD_EXACT_HPP +#if (FICTION_Z3_SOLVER) + #include #include #include @@ -244,6 +244,6 @@ ALICE_ADD_COMMAND(exact, "Physical Design") } // namespace alice -#endif // FICTION_CMD_EXACT_HPP - #endif // FICTION_Z3_SOLVER + +#endif // FICTION_CMD_EXACT_HPP