From 103184577572cb72b2ec623f768094e0c9680fde Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 12 Aug 2011 16:40:09 +0000
Subject: [PATCH] Bug fix in Distribution class (from Anvesh).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3464 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/Distribution.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/explicit/Distribution.java b/prism/src/explicit/Distribution.java
index 9f5061c3..dde467e2 100644
--- a/prism/src/explicit/Distribution.java
+++ b/prism/src/explicit/Distribution.java
@@ -108,7 +108,8 @@ public class Distribution implements Iterable<Entry<Integer,Double>>
 	{
 		if (prob == 0.0)
 			map.remove(j);
-		map.put(j, prob);
+		else
+			map.put(j, prob);
 	}
 
 	/**