From 6d86df0ead0b84b12f96c3910ff5ca3133a3d602 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Sun, 30 Apr 2017 14:50:16 +0200
Subject: [PATCH] fixed doing the end component analysis in multi objective
 model checking multiple times

---
 .../modelchecker/multiobjective/pcaa/SparsePcaaPreprocessor.cpp  | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/modelchecker/multiobjective/pcaa/SparsePcaaPreprocessor.cpp b/src/storm/modelchecker/multiobjective/pcaa/SparsePcaaPreprocessor.cpp
index 9e5474362..58edc68a8 100644
--- a/src/storm/modelchecker/multiobjective/pcaa/SparsePcaaPreprocessor.cpp
+++ b/src/storm/modelchecker/multiobjective/pcaa/SparsePcaaPreprocessor.cpp
@@ -81,6 +81,7 @@ namespace storm {
                         auto backwardTransitions = result.preprocessedModel.getBackwardTransitions();
                         analyzeEndComponents(result, backwardTransitions);
                         ensureRewardFiniteness(result, backwardTransitions);
+						break;
                     }
                 }
                 return result;