diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index 4f4c3077..a3cb9f0a 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -111,6 +111,7 @@ public class StateModelChecker implements ModelChecker
 		engine = prism.getEngine();
 		termCritParam = prism.getTermCritParam();
 		verbose = prism.getVerbose();
+		storeVector = prism.getStoreVector();
 		genStrat = prism.getGenStrat();
 	}