diff --git a/src/storm/solver/AcyclicMinMaxLinearEquationSolver.cpp b/src/storm/solver/AcyclicMinMaxLinearEquationSolver.cpp index d17e46528..3954c68b5 100644 --- a/src/storm/solver/AcyclicMinMaxLinearEquationSolver.cpp +++ b/src/storm/solver/AcyclicMinMaxLinearEquationSolver.cpp @@ -83,9 +83,9 @@ namespace storm { choicesPtr = &(this->schedulerChoices.get()); } } - + // Since a topological ordering is guaranteed, we can solve the equations with a single matrix-vector Multiplication step. - this->multiplier->multiplyAndReduceGaussSeidel(env, dir, *xPtr, bPtr, choicesPtr, true); + this->multiplier->multiplyAndReduceGaussSeidel(env, dir, *xPtr, bPtr, choicesPtr); if (rowGroupOrdering) { // Restore the correct input-order for the output vector