From 544c1cbe650a760beb350d6f5f0d724c93ce8b58 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 8 Sep 2016 22:59:45 +0000
Subject: [PATCH] Missing part of previous bigfix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11794 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/Property.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index 5033fa42..045cb1e0 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -436,7 +436,7 @@ public class Property extends ASTElement
 				Expression expectedExpr = null;
 				try {
 					expectedExpr = Prism.parseSingleExpressionString(strExpected);
-					expectedExpr.findAllConstants(new ConstantList(constValues));
+					expectedExpr = (Expression) expectedExpr.findAllConstants(new ConstantList(constValues));
 					expectedExpr.typeCheck();
 					rationalExp = expectedExpr.evaluateExact(constValues);
 					simple = false;  // complex expression