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