diff --git a/src/modelchecker/prctl/HybridDtmcPrctlModelChecker.cpp b/src/modelchecker/prctl/HybridDtmcPrctlModelChecker.cpp
index c25536a44..44fc0fef9 100644
--- a/src/modelchecker/prctl/HybridDtmcPrctlModelChecker.cpp
+++ b/src/modelchecker/prctl/HybridDtmcPrctlModelChecker.cpp
@@ -9,6 +9,7 @@
 #include "src/utility/macros.h"
 #include "src/utility/graph.h"
 
+#include "src/models/symbolic/StandardRewardModel.h"
 
 #include "src/settings/modules/GeneralSettings.h"
 
diff --git a/src/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp b/src/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp
index de0af1646..ce7c08266 100644
--- a/src/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp
+++ b/src/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp
@@ -4,13 +4,14 @@
 
 #include "src/storage/dd/CuddOdd.h"
 
+#include "src/models/symbolic/StandardRewardModel.h"
+
 #include "src/modelchecker/results/SymbolicQualitativeCheckResult.h"
 #include "src/modelchecker/results/SymbolicQuantitativeCheckResult.h"
 
 #include "src/utility/macros.h"
 #include "src/utility/graph.h"
 
-
 #include "src/settings/modules/GeneralSettings.h"
 
 #include "src/exceptions/InvalidStateException.h"