From 5ebd8b941b0981229f500f24d1d3fa7eae9e68b3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Aug 2011 09:45:20 +0000
Subject: [PATCH] Enable -exporttrans switch under explicit engine.

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

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 1fb4504e..d7cecccb 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -832,7 +832,11 @@ public class PrismCL
 		if (exporttrans) {
 			try {
 				File f = (exportTransFilename.equals("stdout")) ? null : new File(exportTransFilename);
-				prism.exportTransToFile(model, exportordered, exportType, f);
+				if (explicit) {
+					prismExpl.exportTransToFile(modelExpl, exportordered, exportType, f);
+				} else {
+					prism.exportTransToFile(model, exportordered, exportType, f);
+				}
 			}
 			// in case of error, report it and proceed
 			catch (FileNotFoundException e) {