From afed6677e39c47b609f744300326342a35c6ffc6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 7 Jan 2010 10:40:31 +0000
Subject: [PATCH] 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 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/explicit/Distribution.java b/prism/src/explicit/Distribution.java
index 0d939c02..fdda1de2 100644
--- a/prism/src/explicit/Distribution.java
+++ b/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();