From 0060e594c0cb49b52e8fe7b4e93275329368fc66 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 19 Feb 2020 10:09:30 +0100
Subject: [PATCH] Added Missing includes.

---
 src/storm/builder/BuilderType.cpp | 2 ++
 src/storm/utility/Engine.cpp      | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/src/storm/builder/BuilderType.cpp b/src/storm/builder/BuilderType.cpp
index 35512a220..d8c701d9b 100644
--- a/src/storm/builder/BuilderType.cpp
+++ b/src/storm/builder/BuilderType.cpp
@@ -55,6 +55,8 @@ namespace storm {
                 case BuilderType::Jit:
                     return storm::builder::jit::ExplicitJitJaniModelBuilder<ValueType>::canHandle(modelDescription.asJaniModel());
             }
+            STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Unhandled builderType.");
+            return false;
         }
         
 
diff --git a/src/storm/utility/Engine.cpp b/src/storm/utility/Engine.cpp
index ac03324d1..f025f6b9c 100644
--- a/src/storm/utility/Engine.cpp
+++ b/src/storm/utility/Engine.cpp
@@ -1,5 +1,7 @@
 #include "storm/utility/Engine.h"
 
+#include "storm/models/sparse/StandardRewardModel.h"
+#include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm/modelchecker/prctl/SparseDtmcPrctlModelChecker.h"
 #include "storm/modelchecker/prctl/SparseMdpPrctlModelChecker.h"
 #include "storm/modelchecker/csl/SparseCtmcCslModelChecker.h"