From 7bf5fcb308326f9aacc4aabd860f92f50e857bae Mon Sep 17 00:00:00 2001 From: Mavo Date: Mon, 15 Feb 2016 11:51:15 +0100 Subject: [PATCH] Fixed compile issue under Debian Former-commit-id: 13fe157a96964a825d0eeda81342673763f485a8 --- src/solver/stateelimination/StateEliminator.cpp | 1 - src/solver/stateelimination/StateEliminator.h | 5 ++++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/solver/stateelimination/StateEliminator.cpp b/src/solver/stateelimination/StateEliminator.cpp index 3e3d8c53a..09f576e5a 100644 --- a/src/solver/stateelimination/StateEliminator.cpp +++ b/src/solver/stateelimination/StateEliminator.cpp @@ -1,7 +1,6 @@ #include "src/solver/stateelimination/StateEliminator.h" #include "src/storage/BitVector.h" -#include "src/adapters/CarlAdapter.h" #include "src/utility/constants.h" #include "src/utility/macros.h" #include "src/exceptions/InvalidStateException.h" diff --git a/src/solver/stateelimination/StateEliminator.h b/src/solver/stateelimination/StateEliminator.h index 2a58912e8..a0bf04a98 100644 --- a/src/solver/stateelimination/StateEliminator.h +++ b/src/solver/stateelimination/StateEliminator.h @@ -4,6 +4,9 @@ #include "src/storage/FlexibleSparseMatrix.h" #include "src/storage/SparseMatrix.h" #include "src/storage/sparse/StateType.h" +#include "src/models/sparse/Dtmc.h" +#include "src/models/sparse/StandardRewardModel.h" +#include "src/adapters/CarlAdapter.h" #include "src/modelchecker/reachability/SparseDtmcEliminationModelChecker.h" namespace storm { @@ -39,4 +42,4 @@ namespace storm { } // namespace storage } // namespace storm -#endif // STORM_SOLVER_STATEELIMINATION_STATEELIMINATOR_H_ \ No newline at end of file +#endif // STORM_SOLVER_STATEELIMINATION_STATEELIMINATOR_H_