From 36e523c90a35b0d3051845573abc5c2731cb66fc Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 19 Jul 2011 17:13:33 +0000
Subject: [PATCH] Bugfix: bug added in recent changes to initial state
 creation.

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

diff --git a/prism/src/parser/type/TypeBool.java b/prism/src/parser/type/TypeBool.java
index 875c360f..b325e24e 100644
--- a/prism/src/parser/type/TypeBool.java
+++ b/prism/src/parser/type/TypeBool.java
@@ -65,7 +65,7 @@ public class TypeBool extends Type
 	@Override
 	public Object castValueTo(Object value) throws PrismLangException
 	{
-		if (value instanceof Integer)
+		if (value instanceof Boolean)
 			return value;
 		else
 			throw new PrismLangException("Can't convert " + value.getClass() + " to type " + getTypeString());