From f19c4238d3013748cdf7e69b8db8c64b46c42e89 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 27 Jun 2012 13:45:56 +0000 Subject: [PATCH] Type conversion bug. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5389 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/type/TypeDouble.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/type/TypeDouble.java b/prism/src/parser/type/TypeDouble.java index 7c9bfad0..9e21e4f0 100644 --- a/prism/src/parser/type/TypeDouble.java +++ b/prism/src/parser/type/TypeDouble.java @@ -75,7 +75,7 @@ public class TypeDouble extends Type if (value instanceof Double) return (Double) value; if (value instanceof Integer) - return new Double(((Double) value).doubleValue()); + return new Double(((Integer) value).intValue()); else throw new PrismLangException("Can't convert " + value.getClass() + " to type " + getTypeString()); }