Fixed compile issue

Former-commit-id: a58c76d175
9 years ago · 017fa19281
2 changed files with 5 additions and 3 deletions
--- 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"
--- 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 {