fixed respecting the --globalvars option correctly...

7 years ago · 066facf3f1
1 changed files with 1 additions and 1 deletions
--- a/src/storm-conv/settings/modules/JaniExportSettings.cpp
+++ b/src/storm-conv/settings/modules/JaniExportSettings.cpp
@ -57,7 +57,7 @@ namespace storm {
            }

            bool JaniExportSettings::isGlobalVarsSet() const {
-                return this->getOption(exportFlattenOptionName).getHasOptionBeenSet();
+                return this->getOption(globalVariablesOptionName).getHasOptionBeenSet();
            }
            
            void JaniExportSettings::finalize() {