From 38b74d11026215036cb2aba96641402947f6eefe Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 26 Dec 2011 19:30:45 +0000
Subject: [PATCH] Fix: remove unneeded command.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4270 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/NondetModelChecker.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 96d3cea5..26d00135 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -462,7 +462,6 @@ public class NondetModelChecker extends NonProbModelChecker
 		if (prism.getExportProductStates()) {
 			try {
 				mainLog.println("\nExporting product state space to file \"" + prism.getExportProductStatesFilename() + "\"...");
-				prism.exportTransToFile(modelProduct, true, Prism.EXPORT_PLAIN, new File(prism.getExportProductStatesFilename()));
 				prism.exportStatesToFile(modelProduct, Prism.EXPORT_PLAIN, new File(prism.getExportProductStatesFilename()));
 			} catch (FileNotFoundException e) {
 				mainLog.printWarning("Could not export product state space to file \"" + prism.getExportProductStatesFilename() + "\"");