From 4e624deae1a15e4d581074b41054578d0b0214ec Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 29 Jan 2012 00:05:20 +0000
Subject: [PATCH] Bug fix in 1D matrix export

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

diff --git a/prism/src/prism/ResultsCollection.java b/prism/src/prism/ResultsCollection.java
index 7d85deff..62a762d6 100644
--- a/prism/src/prism/ResultsCollection.java
+++ b/prism/src/prism/ResultsCollection.java
@@ -547,7 +547,9 @@ public class ResultsCollection
 				TreeNode node = rangingConstants.size() == 1 ? this : kids[0];
 				int nSteps = node.constant.getNumSteps();
 				for (i = 0; i < nSteps; i++) {
-					res += sep + node.constant.getValue(i);
+					if (rangingConstants.size() > 1 || i > 0)
+						res += sep;
+					res += node.constant.getValue(i);
 				}
 				res += "\n";
 			}