From dbef9116b55dfdd14bd37ef5fdb47050c3eb128a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 3 Jul 2015 13:43:13 +0000
Subject: [PATCH] Small fix in results export

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10177 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ResultsExporter.java | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/prism/src/prism/ResultsExporter.java b/prism/src/prism/ResultsExporter.java
index 851570d2..61fae137 100644
--- a/prism/src/prism/ResultsExporter.java
+++ b/prism/src/prism/ResultsExporter.java
@@ -222,13 +222,14 @@ public class ResultsExporter
 		}
 		// Print header, if needed
 		if (printHeader && rangingConstants != null) {
+			String namesString = "";
 			for (int i = 0; i < rangingConstants.size(); i++) {
 				if (i > 0) {
-					exportString += separator;
+					namesString += separator;
 				}
-				exportString += rangingConstants.get(i).getName();
+				namesString += rangingConstants.get(i).getName();
 			}
-			exportString += equals + "Result\n";
+			exportString += namesString + (namesString.length() > 0 ? equals : "") + "Result\n";
 		}
 	}
 
@@ -240,7 +241,8 @@ public class ResultsExporter
 		switch (format) {
 		case PLAIN:
 		case CSV:
-			exportString += values.toString(printNames, separator) + equals + result + "\n";
+			String valuesString = values.toString(printNames, separator); 
+			exportString += valuesString + (valuesString.length() > 0 ? equals : "") + result + "\n";
 			break;
 		case COMMENT:
 			Values mergedValues = new Values(nonRangingConstantValues, values);