From 7bdecad4adec6d1c69141b2c1b9c71a8eb5e281d Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 18 Jan 2018 18:00:55 +0100
Subject: [PATCH] fixed compiling

---
 .../settings/modules/TopologicalEquationSolverSettings.cpp      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/settings/modules/TopologicalEquationSolverSettings.cpp b/src/storm/settings/modules/TopologicalEquationSolverSettings.cpp
index ec551fae1..86e344f9c 100644
--- a/src/storm/settings/modules/TopologicalEquationSolverSettings.cpp
+++ b/src/storm/settings/modules/TopologicalEquationSolverSettings.cpp
@@ -76,7 +76,7 @@ namespace storm {
                 } else if (minMaxEquationSolvingTechnique == "quick-value-iteration" || minMaxEquationSolvingTechnique == "qvi") {
                     return storm::solver::MinMaxMethod::QuickValueIteration;
                 }
-                STORM_LOG_THROW(false, storm::exceptions::IllegalArgumentValueException, "Unknown underlying equation solver '" << equationSolverName << "'.");
+                STORM_LOG_THROW(false, storm::exceptions::IllegalArgumentValueException, "Unknown underlying equation solver '" << minMaxEquationSolvingTechnique << "'.");
             }
             
             bool TopologicalEquationSolverSettings::check() const {