From 3a36527b5ba25b06d22e0b3ea171cb841d789203 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 20 Jul 2017 23:05:19 +0000
Subject: [PATCH] Demote -exportmodeldotview to a hidden option for now (not
 ready yet).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12071 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index e0d2bafc..1b12e702 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -1420,10 +1420,6 @@ public class PrismCL implements PrismModelListener
 						errorAndExit("No file specified for -" + sw + " switch");
 					}
 				}
-				// export transition matrix graph to dot file and view it
-				else if (sw.equals("exportmodeldotview")) {
-					exportmodeldotview = true;
-				}
 				// export transition matrix MTBDD to dot file
 				else if (sw.equals("exportdot")) {
 					if (i < args.length - 1) {
@@ -1737,6 +1733,10 @@ public class PrismCL implements PrismModelListener
 						errorAndExit("No file specified for -" + sw + " switch");
 					}
 				}
+				// export transition matrix graph to dot file and view it (hidden option, for now)
+				else if (sw.equals("exportmodeldotview")) {
+					exportmodeldotview = true;
+				}
 				// mtbdd construction method (hidden option)
 				else if (sw.equals("c1")) {
 					prism.setConstruction(1);