From a539e72e57f59b72aafacfad7be3be1c8e8820e8 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Aug 2011 21:30:12 +0000
Subject: [PATCH] MDPSimple bug fix (from prism-qar).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3368 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/MDPSimple.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prism/src/explicit/MDPSimple.java b/prism/src/explicit/MDPSimple.java
index d676eab1..c2397806 100644
--- a/prism/src/explicit/MDPSimple.java
+++ b/prism/src/explicit/MDPSimple.java
@@ -422,6 +422,10 @@ public class MDPSimple extends ModelSimple implements MDP
 		}
 		set = trans.get(s);
 		set.add(distr);
+		// Add null action if necessary
+		if (actions != null && actions.get(s) != null)
+			actions.get(s).add(null);
+		// Set action
 		setAction(s, set.size() - 1, action);
 		// Update stats
 		numDistrs++;