From b4e743c4a6ff4167f3f868feda293c1f3b8374da Mon Sep 17 00:00:00 2001
From: Jan Erik Karuc <jan.karuc@rwth-aachen.de>
Date: Thu, 20 Feb 2020 21:40:08 +0100
Subject: [PATCH] Also update lb in the verification phase

---
 src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
index 5384beea5..684c20b27 100644
--- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
@@ -436,8 +436,9 @@ namespace storm {
                         storm::utility::vector::subtractVectors<ValueType>(newUpperBound, *newX, boundsDiffV);
                         // Calculate difference vector of new and old upper bound
                         storm::utility::vector::subtractVectors<ValueType>(currentUpperBound, newUpperBound, ubDiffV);
-                        // Update current upper bound
-                        std::swap(newUpperBound, currentUpperBound);
+                        // Update bounds
+                        std::swap(currentX, newX);
+                        std::swap(currentUpperBound, newUpperBound);
 
                         if (!storm::utility::vector::hasPositiveEntry(ubDiffV)) {
                             // Not all values moved up or stayed the same