Bugfix: equals() in Distribution (explicit).

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

prism/src/explicit/Distribution.java

@@ -182,6 +182,8 @@ public class Distribution implements Iterable<Entry<Integer,Double>>
 	{
 		Double d1, d2;
 		Distribution d = (Distribution) o;
+		if (d.size() != size())
+			return false;
 		Iterator<Entry<Integer,Double>> i = iterator();
 		while (i.hasNext()) {
 			Map.Entry<Integer,Double> e = i.next();