From 25c006ec13ee5f19e93b08a42bb1069f5114f24b Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 15 Nov 2017 19:27:39 +0100
Subject: [PATCH] fixed method selection of iterative min max solver

---
 src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
index bd75cbc61..7389fe818 100644
--- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
@@ -52,7 +52,7 @@ namespace storm {
         template<typename ValueType>
         bool IterativeMinMaxLinearEquationSolver<ValueType>::internalSolveEquations(Environment const& env, OptimizationDirection dir, std::vector<ValueType>& x, std::vector<ValueType> const& b) const {
             bool result = false;
-            switch (env.solver().minMax().getMethod()) {
+            switch (getMethod(env, std::is_same<ValueType, storm::RationalNumber>::value)) {
                 case MinMaxMethod::ValueIteration:
                     if (env.solver().isForceSoundness()) {
                         result = solveEquationsSoundValueIteration(env, dir, x, b);