From d7443f2616180d1d687332d9eaa2894d991c83bb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 3 Aug 2018 10:00:53 +0100
Subject: [PATCH] Make sure allDDRowVars is stored in all StateModelChecker
 constructors.

---
 prism/src/prism/StateModelChecker.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index aa3b4de8..3a9a7aa7 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -143,6 +143,7 @@ public class StateModelChecker extends PrismComponent implements ModelChecker
 		// Initialise
 		this.prism = prism;
 		this.varList = varList;
+		this.allDDRowVars = allDDRowVars;
 		this.varDDRowVars = varDDRowVars;
 		this.constantValues = constantValues;
 		// Create dummy model