From 6a218a9e6f445bce6702ed5c47c7fc14a1ac0013 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 7 Jun 2013 23:13:41 +0000 Subject: [PATCH] Tweak to message output when exporting labels. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6834 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Prism.java | 1 + 1 file changed, 1 insertion(+) 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