added some missing includes

Former-commit-id: 5672e1d9d7
9 years ago · 8d6a5a7fd5
3 changed files with 7 additions and 4 deletions
--- a/src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp
+++ b/src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp
@ -6,10 +6,11 @@

 #include "src/utility/macros.h"

+#include "src/models/symbolic/StandardRewardModel.h"
+
 #include "src/modelchecker/results/SymbolicQualitativeCheckResult.h"
 #include "src/modelchecker/results/SymbolicQuantitativeCheckResult.h"

-
 #include "src/settings/modules/GeneralSettings.h"

 #include "src/exceptions/InvalidStateException.h"
--- a/src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp
+++ b/src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp
@ -5,6 +5,8 @@
 #include "src/modelchecker/results/SymbolicQualitativeCheckResult.h"
 #include "src/modelchecker/results/SymbolicQuantitativeCheckResult.h"

+#include "src/models/symbolic/StandardRewardModel.h"
+
 #include "src/utility/macros.h"
 #include "src/utility/graph.h"