From 9c407486c89cb88e95cfe73b332f7eb20602222d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 2 Jul 2015 22:49:38 +0000
Subject: [PATCH] Bug fix in export of product states in explicit DTMC model
 checker.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10161 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMCModelChecker.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 4e553c34..729cc80a 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -94,7 +94,7 @@ public class DTMCModelChecker extends ProbModelChecker
 				daVar = "_" + daVar;
 			}
 			newVarList.addVar(0, new Declaration(daVar, new DeclarationIntUnbounded()), 1, null);
-			product.getProductModel().exportStates(Prism.EXPORT_PLAIN, modulesFile.createVarList(), out);
+			product.getProductModel().exportStates(Prism.EXPORT_PLAIN, newVarList, out);
 			out.close();
 		}