From 298b4b914e44e237ae6d6411505b14be6128697f Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Sat, 22 Oct 2011 00:38:44 +0000
Subject: [PATCH] The named formulae are prepended by their names when they are
 output before the actual model-checking phase

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

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index e5e4bcd2..31207ca4 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -610,7 +610,8 @@ public class PrismCL
 		mainLog.print("\n" + propertiesFile.getNumProperties());
 		mainLog.print(" propert" + ((propertiesFile.getNumProperties() == 1) ? "y" : "ies") + ":\n");
 		for (i = 0; i < propertiesFile.getNumProperties(); i++) {
-			mainLog.println("(" + (i + 1) + ") " + propertiesFile.getProperty(i));
+			String name = propertiesFile.getPropertyName(i);
+			mainLog.println("(" + (i + 1) + ") " + ((name != null) ? ("\"" + name + "\" : ") : "") + propertiesFile.getProperty(i));
 		}
 	}