Fixed compile issue under Debian

Former-commit-id: 13fe157a96

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"

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 {