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

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