From 12e758398f22ee13a44e4ecb57cece7321c8c1e6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 8 Dec 2009 12:19:59 +0000
Subject: [PATCH] Bugfix: Cannot use true/false in LTL formulae.

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

diff --git a/prism/src/parser/visitor/ConvertForJltl2ba.java b/prism/src/parser/visitor/ConvertForJltl2ba.java
index 94913e70..8f525fc6 100644
--- a/prism/src/parser/visitor/ConvertForJltl2ba.java
+++ b/prism/src/parser/visitor/ConvertForJltl2ba.java
@@ -127,7 +127,7 @@ public class ConvertForJltl2ba extends ASTTraverseModify
 	
 	public void visitPost(ExpressionLiteral e) throws PrismLangException
 	{
-		if (e.getType() instanceof TypeBool) {
+		if (!(e.getType() instanceof TypeBool)) {
 			throw new PrismLangException("Cannot convert expression to jltl2ba form", e);
 		}
 		setFormula(e, new SimpleLTL(e.evaluateBoolean()));