From 6ad0c7041e1f6eaa34be8ba0822d8408cc79daed Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Wed, 1 May 2013 02:00:52 +0200
Subject: [PATCH] Allow DoubleExpressions to use integer constants

---
 src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp b/src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp
index 82798fe3d..ddd1341f5 100644
--- a/src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp
+++ b/src/parser/PrismParser/ConstDoubleExpressionGrammar.cpp
@@ -40,7 +40,7 @@ ConstDoubleExpressionGrammar::ConstDoubleExpressionGrammar(std::shared_ptr<Varia
 	constantAtomicDoubleExpression %= (qi::lit("(") >> constantDoubleExpression >> qi::lit(")") | doubleConstantExpression);
 	constantAtomicDoubleExpression.name("constant double expression");
 
-	doubleConstantExpression %= (this->state->doubleConstants_ | doubleLiteralExpression);
+	doubleConstantExpression %= (this->state->doubleConstants_ | this->state->integerConstants_ | doubleLiteralExpression);
 	doubleConstantExpression.name("double constant or literal");
 
 	doubleLiteralExpression = qi::double_[qi::_val = phoenix::bind(&ConstDoubleExpressionGrammar::createLiteral, this, qi::_1)];