From 6891825803f0732e8047033dbcc05fdfbe90a4fe Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 10 Feb 2020 15:18:39 +0100
Subject: [PATCH] IterativeMinMaxLinearEquationSolver: Fixed not incrementing
 an iterator when computing the maximum absolute difference between two values

---
 src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp | 1 +
 1 file changed, 1 insertion(+)

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<ValueType>(result, storm::utility::abs<ValueType>(allValues[value] - *oldValueIt));
+                ++oldValueIt;
             }
             return result;
         }