From caf997510901e6bfec66fee63d017616f5ed091c Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 12 Jul 2018 11:18:26 +0200
Subject: [PATCH] Fixed an issue with topological min max solver

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

diff --git a/src/storm/environment/solver/TopologicalSolverEnvironment.cpp b/src/storm/environment/solver/TopologicalSolverEnvironment.cpp
index 678c6cb6c..aa580d67c 100644
--- a/src/storm/environment/solver/TopologicalSolverEnvironment.cpp
+++ b/src/storm/environment/solver/TopologicalSolverEnvironment.cpp
@@ -14,7 +14,7 @@ namespace storm {
         underlyingEquationSolverTypeSetFromDefault = topologicalSettings.isUnderlyingEquationSolverTypeSetFromDefaultValue();
         
         underlyingMinMaxMethod = topologicalSettings.getUnderlyingMinMaxMethod();
-        underlyingEquationSolverTypeSetFromDefault = topologicalSettings.isUnderlyingMinMaxMethodSetFromDefaultValue();
+        underlyingMinMaxMethodSetFromDefault = topologicalSettings.isUnderlyingMinMaxMethodSetFromDefaultValue();
     }
 
     TopologicalSolverEnvironment::~TopologicalSolverEnvironment() {