From d13aca1109cbad0c19020a15e31655dd98697d78 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 22 Jan 2016 11:37:19 +0100
Subject: [PATCH] Fixed problem with const initializer

Former-commit-id: bcd1343169cd095f07e2725a2baa24e8bcde3371
---
 src/parser/ExpressionParser.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/ExpressionParser.h b/src/parser/ExpressionParser.h
index 4d40467a0..262b9499c 100644
--- a/src/parser/ExpressionParser.h
+++ b/src/parser/ExpressionParser.h
@@ -203,7 +203,7 @@ namespace storm {
             qi::symbols<char, storm::expressions::Expression> const* identifiers_;
             
             // The symbol table of invalid identifiers.
-            qi::symbols<char, uint_fast64_t> const& invalidIdentifiers_;
+            qi::symbols<char, uint_fast64_t> invalidIdentifiers_;
             
             // Rules for parsing a composed expression.
             qi::rule<Iterator, storm::expressions::Expression(), Skipper> expression;