From 066facf3f1ac874458eb5b9032eece96f524fe23 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 31 Jul 2018 17:51:32 +0200
Subject: [PATCH] fixed respecting the --globalvars option correctly...

---
 src/storm-conv/settings/modules/JaniExportSettings.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-conv/settings/modules/JaniExportSettings.cpp b/src/storm-conv/settings/modules/JaniExportSettings.cpp
index f5da440f3..588bde61a 100644
--- 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() {