diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp index 37f9c1ab5..df53fb538 100644 --- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp +++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp @@ -424,6 +424,7 @@ namespace storm { auto oldValueIt = oldValues.begin(); for (auto value : relevantValues) { result = storm::utility::max(result, storm::utility::abs(allValues[value] - *oldValueIt)); + ++oldValueIt; } return result; }