From 47bc2ae677d1f984ed1dcd4f481c9b97101c0335 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Fri, 29 Jan 2021 19:24:38 +0100
Subject: [PATCH] removed default parameter

---
 src/storm/solver/AcyclicMinMaxLinearEquationSolver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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