Added Missing includes.

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;
         }
         
 

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"