diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 7f0aadb7..abe72d8a 100644
--- 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