From 0c3219e1759af4381f95e4d4168348642ab8cf27 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 3 Jun 2014 09:50:17 +0000
Subject: [PATCH] Connect export to dot with states option to Prism.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8392 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 7c9510a0..35020bae 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2164,9 +2164,11 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 			case Prism.EXPORT_DOT:
 				currentModelExpl.exportToDotFile(tmpLog);
 				break;
+			case Prism.EXPORT_DOT_STATES:
+				currentModelExpl.exportToDotFile(tmpLog, null, true);
+				break;
 			case Prism.EXPORT_MRMC:
 			case Prism.EXPORT_ROWS:
-			case Prism.EXPORT_DOT_STATES:
 				throw new PrismException("Export not yet supported");
 			}
 			tmpLog.close();