diff --git a/src/storm-parsers/parser/ValueParser.h b/src/storm-parsers/parser/ValueParser.h index 768be44ad..777db0679 100644 --- a/src/storm-parsers/parser/ValueParser.h +++ b/src/storm-parsers/parser/ValueParser.h @@ -19,6 +19,8 @@ namespace storm { * Constructor. */ ValueParser() : manager(new storm::expressions::ExpressionManager()), parser(*manager), evaluator(*manager) { + // Set empty mapping to enable expression creation even without parameters + parser.setIdentifierMapping(identifierMapping); } /*!