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

@@ -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());