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;