From 45d6bc0f6f554e326274588a9128d43de27b70af Mon Sep 17 00:00:00 2001 From: dehnert Date: Mon, 24 Aug 2015 12:43:50 +0200 Subject: [PATCH] added more headers to make gcc even happier Former-commit-id: 6c2e254b1428bff5e0a9e3c2c9285a50d4424832 --- src/modelchecker/prctl/HybridDtmcPrctlModelChecker.cpp | 1 + src/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) 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"