diff --git a/include/checker/EquivalenceChecker.hpp b/include/checker/EquivalenceChecker.hpp index eba2a06d..199e189f 100644 --- a/include/checker/EquivalenceChecker.hpp +++ b/include/checker/EquivalenceChecker.hpp @@ -12,6 +12,7 @@ #include #include #include +#include #include #include diff --git a/src/checker/dd/DDHybridSchrodingerFeynmanChecker.cpp b/src/checker/dd/DDHybridSchrodingerFeynmanChecker.cpp index 98a117db..d8547d66 100644 --- a/src/checker/dd/DDHybridSchrodingerFeynmanChecker.cpp +++ b/src/checker/dd/DDHybridSchrodingerFeynmanChecker.cpp @@ -2,6 +2,7 @@ #include "Definitions.hpp" #include "EquivalenceCriterion.hpp" +#include "checker/EquivalenceChecker.hpp" #include "dd/ComplexValue.hpp" #include "dd/GateMatrixDefinitions.hpp" #include "dd/Operations.hpp" @@ -18,6 +19,7 @@ #include #include #include +#include #include #include #include