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

@@ -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) {