From 7737034db7a72ca5b1712bccb52a1b7026cc1619 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 16 Jul 2011 02:17:10 +0000
Subject: [PATCH] Removed accidental part of last commit.

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

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index bac3b670..714b4bc3 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -884,7 +884,6 @@ public class PrismCL
 		// export transition matrix graph to dot file
 		if (exporttransdot) {
 			try {
-				modelExpl.exportToDotFile(exportTransDotFilename);
 				File f = (exportTransDotFilename.equals("stdout")) ? null : new File(exportTransDotFilename);
 				prism.exportTransToFile(model, exportordered, Prism.EXPORT_DOT, f);
 			}