Flagged possible bug (explicit MC).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2252 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/StateValues.java

@@ -66,6 +66,7 @@ public class StateValues
 	 */
 	public StateValues(Type type, int size)
 	{
+		// TODO: check this: ? probably always returns Double due to typing
 		this(type, size, type instanceof TypeInt ? new Integer(0) : new Double(0.0));
 	}