Tweak to message output when exporting labels.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6834 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 6a218a9e6f
1 changed files with 1 additions and 0 deletions
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@ -2285,6 +2285,7 @@ public class Prism implements PrismSettingsListener

 		// print message
 		mainLog.print("\nExporting labels and satisfying states ");
+		mainLog.print(getStringForExportType(exportType) + " ");
 		mainLog.println(getDestinationStringForFile(file));

 		// convert labels to bdds