diff --git a/src/parser/JaniParser.h b/src/parser/JaniParser.h index e4fafcd2a..90891c759 100644 --- a/src/parser/JaniParser.h +++ b/src/parser/JaniParser.h @@ -34,7 +34,8 @@ namespace storm { storm::jani::Model parseModel(); storm::jani::Automaton parseAutomaton(json const& automatonStructure); std::shared_ptr parseVariable(json const& variableStructure, std::string const& scopeDescription, bool prefWithScope = false); - storm::expressions::Expression parseExpression(json const& expressionStructure, std::string const& scopeDescription, std::unordered_map> const& localVars = {}); + storm::expressions::Expression parseExpression(json const& expressionStructure, std::string const& scopeDescription, std::unordered_map> const& localVars = std::unordered_map>()); + private: /** * Helper for parsing the actions of a model. @@ -43,8 +44,6 @@ namespace storm { std::shared_ptr parseComposition(json const& compositionStructure); - - }; } }