diff --git a/src/solver/stateelimination/StateEliminator.cpp b/src/solver/stateelimination/StateEliminator.cpp
index 3e3d8c53a..01dc8a5af 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"
@@ -256,4 +255,4 @@ namespace storm {
             
         } // namespace stateelimination
     } // namespace storage
-} // namespace storm
\ No newline at end of file
+} // namespace storm
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_