From 8aa2b57640f401730000811f8f9bb8d9a11e7ba5 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 11 Jul 2017 15:57:48 +0200
Subject: [PATCH] minor fix for multi-objective preprocessor

---
 .../multiobjective/SparseMultiObjectivePreprocessor.cpp         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp b/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp
index a3c0d9657..0596303c8 100644
--- a/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp
+++ b/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp
@@ -375,7 +375,7 @@ namespace storm {
                 std::set<std::string> relevantRewardModels;
                 for (auto const& obj : result.objectives) {
                     relevantRewardModels.insert(*obj.rewardModelName);
-                    if (obj.timeBoundReference->isRewardBound()) {
+                    if (obj.timeBoundReference && obj.timeBoundReference->isRewardBound()) {
                         relevantRewardModels.insert(obj.timeBoundReference->getRewardName());
                     }
                 }