From d583b461c8bb12f6f6219afc6aee0701c8b21782 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 27 Jan 2012 09:27:30 +0000
Subject: [PATCH] Fix: make use of propertiesFile.getPropertyObject method.

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

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