From 234ddb7cff1f968ed32f593865ff98e9f2ae961c Mon Sep 17 00:00:00 2001 From: TimQu Date: Mon, 27 Aug 2018 14:17:07 +0200 Subject: [PATCH] fixed compilation of JaniParser --- src/storm-parsers/parser/JaniParser.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/storm-parsers/parser/JaniParser.cpp b/src/storm-parsers/parser/JaniParser.cpp index 80bb6c8c2..0fecbe87a 100644 --- a/src/storm-parsers/parser/JaniParser.cpp +++ b/src/storm-parsers/parser/JaniParser.cpp @@ -95,7 +95,8 @@ namespace storm { if (featuresCount == 1) { std::unordered_set supportedFeatures = {"derived-operators", "state-exit-rewards"}; for (auto const& feature : parsedStructure.at("features")) { - STORM_LOG_WARN_COND(supportedFeatures.find(getString(feature)) != supportedFeatures.end(), "Storm does not support the model feature " << getString(feature) << "."); + std::string featureStr = getString(feature, "Model feature"); + STORM_LOG_WARN_COND(supportedFeatures.find(featureStr) != supportedFeatures.end(), "Storm does not support the model feature " << featureStr << "."); } } size_t actionCount = parsedStructure.count("actions");