From cfc76c5fdf3d56095309b4b720ad15b6f43abd9b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 3 Jul 2015 16:57:38 +0000
Subject: [PATCH] Bugfix: extra colon inserted via last commit.

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

diff --git a/prism/src/prism/ResultsCollection.java b/prism/src/prism/ResultsCollection.java
index 0b363c51..7fa594eb 100644
--- a/prism/src/prism/ResultsCollection.java
+++ b/prism/src/prism/ResultsCollection.java
@@ -593,7 +593,7 @@ public class ResultsCollection
 				if (rangingConstants.size() > 2)
 					res += head+", ";
 				if (rangingConstants.size() == 1)
-					res += constant.getName() + ":";
+					res += constant.getName();
 				else
 					res += constant.getName() + "\\" + kids[0].constant.getName();
 				if (!sep.equals(", "))