From bc85e6742e11ea33dab2ae2dde35a0cb81616049 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 3 Dec 2019 18:25:02 +0100
Subject: [PATCH] Fixed parsing of RationalFunctions if no parameters are given

---
 src/storm-parsers/parser/ValueParser.h | 2 ++
 1 file changed, 2 insertions(+)

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);
             }
 
             /*!