From 8d6a5a7fd573f7cba5c3ae58009323be6d0d47ec Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 24 Aug 2015 15:00:36 +0200
Subject: [PATCH] added some missing includes

Former-commit-id: 5672e1d9d77b17ef72238143d95f178fd209bd05
---
 src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp | 5 +++--
 src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp  | 4 +++-
 src/models/sparse/Dtmc.cpp                               | 2 +-
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp b/src/modelchecker/prctl/SymbolicDtmcPrctlModelChecker.cpp
index 9d19cfbc3..6b564cbaf 100644
--- 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"
@@ -90,4 +91,4 @@ namespace storm {
         
         template class SymbolicDtmcPrctlModelChecker<storm::dd::DdType::CUDD, double>;
     }
-}
\ No newline at end of file
+}
diff --git a/src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp b/src/modelchecker/prctl/SymbolicMdpPrctlModelChecker.cpp
index b5d7df0b8..69a54d4ba 100644
--- 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"
 
@@ -88,4 +90,4 @@ namespace storm {
         
         template class SymbolicMdpPrctlModelChecker<storm::dd::DdType::CUDD, double>;
     }
-}
\ No newline at end of file
+}
diff --git a/src/models/sparse/Dtmc.cpp b/src/models/sparse/Dtmc.cpp
index 78a8a4a0f..80dabaa2c 100644
--- a/src/models/sparse/Dtmc.cpp
+++ b/src/models/sparse/Dtmc.cpp
@@ -252,4 +252,4 @@ namespace storm {
 
         } // namespace sparse
     } // namespace models
-} // namespace storm
\ No newline at end of file
+} // namespace storm