From e9119154d7c6e345f2f73b27ccfafe51e3dcf56b Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 11 Apr 2019 14:09:44 +0200
Subject: [PATCH] JaniParser: Fixed parsing of globally formulas in JANI.
 (GitHub issue #42)

---
 src/storm-parsers/parser/JaniParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-parsers/parser/JaniParser.cpp b/src/storm-parsers/parser/JaniParser.cpp
index 3dbf85b00..1864be23d 100644
--- a/src/storm-parsers/parser/JaniParser.cpp
+++ b/src/storm-parsers/parser/JaniParser.cpp
@@ -497,7 +497,7 @@ namespace storm {
                     } else if (propertyStructure.count("reward-bounds") > 0 ) {
                         STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Globally and reward bounded properties are not supported.");
                     }
-                    return std::make_shared<storm::logic::GloballyFormula const>(args[1]);
+                    return std::make_shared<storm::logic::GloballyFormula const>(args[0]);
 
                 } else if (opString == "W") {
                     assert(bound == boost::none);