diff --git a/packages/CLPBN/horus/LiftedKc.cpp b/packages/CLPBN/horus/LiftedKc.cpp index 125d7c857..c05ed9a1b 100644 --- a/packages/CLPBN/horus/LiftedKc.cpp +++ b/packages/CLPBN/horus/LiftedKc.cpp @@ -1,5 +1,9 @@ #include +#include +#include +#include +#include #include #include "LiftedKc.h" diff --git a/packages/CLPBN/horus/LiftedKc.h b/packages/CLPBN/horus/LiftedKc.h index 621c075d0..235e82e88 100644 --- a/packages/CLPBN/horus/LiftedKc.h +++ b/packages/CLPBN/horus/LiftedKc.h @@ -1,11 +1,6 @@ #ifndef YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_ #define YAP_PACKAGES_CLPBN_HORUS_LIFTEDKC_H_ -#include -#include -#include -#include - #include "LiftedSolver.h" #include "ParfactorList.h"