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() {