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

@@ -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(", "))