use the configured factory in the sparse mdp helper

Former-commit-id: 8d3faf1c6b

src/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp

@@ -119,7 +119,7 @@ namespace storm {
                         
                         // Solve the corresponding system of equations.
                         std::unique_ptr<storm::solver::MinMaxLinearEquationSolver<ValueType>> solver = storm::solver::configureMinMaxLinearEquationSolver(goal, minMaxLinearEquationSolverFactory, submatrix);
-                        solver->solveEquationSystem(goal.direction(), x, b);
+                        solver->solveEquationSystem(x, b);
                         
                         // Set values of resulting vector according to result.
                         storm::utility::vector::setVectorValues<ValueType>(result, maybeStates, x);