From 748c097907c2e801c59e3d28d19b64412a9519c6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 27 Dec 2017 01:12:39 +0000
Subject: [PATCH] Bug fix in DTMCFromMDPAndMDStrategy, related to recent
 changes to successors info in explicit engine.

---
 prism/src/explicit/DTMCFromMDPAndMDStrategy.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/prism/src/explicit/DTMCFromMDPAndMDStrategy.java b/prism/src/explicit/DTMCFromMDPAndMDStrategy.java
index e522d797cd..fe9ca18ec8 100644
--- a/prism/src/explicit/DTMCFromMDPAndMDStrategy.java
+++ b/prism/src/explicit/DTMCFromMDPAndMDStrategy.java
@@ -123,7 +123,11 @@ public int getNumTransitions()
 
 	public SuccessorsIterator getSuccessors(final int s)
 	{
-		return mdp.getSuccessors(s, strat.getChoiceIndex(s));
+		if (strat.isChoiceDefined(s)) {
+			return mdp.getSuccessors(s, strat.getChoiceIndex(s));
+		} else {
+			return SuccessorsIterator.empty();
+		}
 	}
 
 	public int getNumChoices(int s)