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

@@ -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());