IterativeMinMaxLinearEquationSolver: Fixed not incrementing an iterator when computing the maximum absolute difference between two values

src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp

@@ -424,6 +424,7 @@ namespace storm {
             auto oldValueIt = oldValues.begin();
             for (auto value : relevantValues) {
                 result = storm::utility::max<ValueType>(result, storm::utility::abs<ValueType>(allValues[value] - *oldValueIt));
+                ++oldValueIt;
             }
             return result;
         }