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(newUpperBound, *newX, boundsDiffV); // Calculate difference vector of new and old upper bound storm::utility::vector::subtractVectors(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