From cb2e22e1d3f174cec781f42ceb46d9dfbf644f6b Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Sat, 25 Jan 2020 20:02:47 +0100 Subject: [PATCH] improved error message if observables includes an unknown error variable --- src/storm-parsers/parser/PrismParser.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm-parsers/parser/PrismParser.cpp b/src/storm-parsers/parser/PrismParser.cpp index ea37addd4..0368d843c 100644 --- a/src/storm-parsers/parser/PrismParser.cpp +++ b/src/storm-parsers/parser/PrismParser.cpp @@ -328,7 +328,7 @@ namespace storm { void PrismParser::moveToSecondRun() { // In the second run, we actually need to parse the commands instead of just skipping them, // so we adapt the rule for parsing commands. - STORM_LOG_THROW(observables.empty(), storm::exceptions::WrongFormatException, "Some variables marked as observable, but never declared"); + STORM_LOG_THROW(observables.empty(), storm::exceptions::WrongFormatException, "Some variables marked as observable, but never declared, e.g. " << *observables.begin()); commandDefinition = (((qi::lit("[") > -identifier > qi::lit("]")) |