From 5e040553a65d8da017c2b8581f03a1465c6b1ad5 Mon Sep 17 00:00:00 2001
From: Lukas Posch <lukas.posch@student.tugraz.at>
Date: Tue, 9 Mar 2021 17:32:01 +0100
Subject: [PATCH] changed error message

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

diff --git a/src/storm-parsers/parser/FormulaParserGrammar.cpp b/src/storm-parsers/parser/FormulaParserGrammar.cpp
index 3a45a9682..9d5f0283e 100644
--- a/src/storm-parsers/parser/FormulaParserGrammar.cpp
+++ b/src/storm-parsers/parser/FormulaParserGrammar.cpp
@@ -329,7 +329,7 @@ namespace storm {
                 std::vector<boost::optional<storm::logic::TimeBound>> lowerBounds, upperBounds;
                 std::vector<storm::logic::TimeBoundReference> timeBoundReferences;
                 for (auto const& timeBound : timeBounds.get()) {
-                    STORM_LOG_ASSERT(!std::get<0>(timeBound), "Lower bounds are not implemented for globally formulas.");
+                    STORM_LOG_ASSERT(!std::get<0>(timeBound), "Cannot use lower time bounds (or intervals) in globally formulas.");
                     lowerBounds.push_back(std::get<0>(timeBound));
                     upperBounds.push_back(std::get<1>(timeBound));
                     timeBoundReferences.emplace_back(*std::get<2>(timeBound));