Fix log file name argument

Former-commit-id: c13b4ca3ad
9 years ago · 8ef899ef1c
1 changed files with 2 additions and 2 deletions
--- a/src/settings/modules/DebugSettings.cpp
+++ b/src/settings/modules/DebugSettings.cpp
@ -38,7 +38,7 @@ namespace storm {
            }
            
            std::string DebugSettings::getLogfilename() const {
-                return this->getOption(traceOptionName).getArgumentByName("filename").getValueAsString();
+                return this->getOption(logfileOptionName).getArgumentByName("filename").getValueAsString();
            }
            
            bool DebugSettings::isTestSet() const {