diff --git a/prism/src/explicit/MDPSimple.java b/prism/src/explicit/MDPSimple.java index 48be9e09..0350c95f 100644 --- a/prism/src/explicit/MDPSimple.java +++ b/prism/src/explicit/MDPSimple.java @@ -376,7 +376,7 @@ public class MDPSimple extends ModelExplicit implements MDP, ModelSimple int n = trans.get(s).size(); List list = new ArrayList(n); for (int j = 0; j < n; j++) { - list.add(0.0); + list.add(null); } actions.set(s, list); }