From 04b44178bb2570b88fcd2b83f33fd04c7224c66d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 2 Jul 2015 19:30:13 +0000
Subject: [PATCH] Bug fix in matrix results export (broken in last refactor).

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

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 8529ffad..76a3409a 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -452,7 +452,11 @@ public class PrismCL implements PrismModelListener
 				if (i > 0)
 					tmpLog.println();
 				if (numPropertiesToCheck > 1) {
-					exporter.setProperty(propertiesToCheck.get(i));
+					if (!exportResultsFormat.equals("matrix")) {
+						exporter.setProperty(propertiesToCheck.get(i));
+					} else {
+						tmpLog.print(propertiesToCheck.get(i) + ":\n");
+					}
 				}
 				if (!exportResultsFormat.equals("matrix")) {
 					tmpLog.println(results[i].export(exporter).getExportString());