diff --git a/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp b/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp index f9f370aaa..a583142bd 100644 --- a/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp +++ b/src/storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessor.cpp @@ -463,7 +463,7 @@ namespace storm { std::vector const& groupIndices = transitions.getRowGroupIndices(); storm::storage::BitVector maxRewardsToCheck(result.preprocessedModel->getNumberOfChoices(), true); - bool hasMinRewardToCheck; + bool hasMinRewardToCheck = false; for (auto const& objIndex : finiteRewardCheckObjectives) { auto const& rewModel = result.preprocessedModel->getRewardModel(result.objectives[objIndex].rewardModelName.get()); if (storm::solver::minimize(result.objectives[objIndex].optimizationDirection)) {