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> { if (prob == 0.0) map.remove(j); - map.put(j, prob); + else + map.put(j, prob); } /**