From 5145992646e8caa4547266f695784eab6a1429bd Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 20 Aug 2015 12:24:59 +0000
Subject: [PATCH] Bug fix in Expression.isPositiveNormalFormLTL: do not assume
 type checking has already been done.

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

diff --git a/prism/src/parser/ast/Expression.java b/prism/src/parser/ast/Expression.java
index ba8e09a1..a3e91fee 100644
--- a/prism/src/parser/ast/Expression.java
+++ b/prism/src/parser/ast/Expression.java
@@ -765,7 +765,7 @@ public abstract class Expression extends ASTElement
 	public static boolean isPositiveNormalFormLTL(Expression expr)
 	{
 		// State formulae (negated or otherwise) are OK
-		if (expr.type instanceof TypeBool)
+		if (expr.getType() instanceof TypeBool)
 			return true;
 		// Otherwise recurse, looking for negations...
 		else if (expr instanceof ExpressionUnaryOp) {