From 945432ed63fc0f3eeef7abfcdfc18e4a606a5f12 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 11 May 2014 23:57:11 +0000
Subject: [PATCH] Fixed bugs in output of vectors when showing states but no
 indices.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8210 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/StateValues.java | 6 ++++--
 prism/src/prism/StateValuesDV.java  | 6 ++++--
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index 5217de00..d066faae 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -1610,10 +1610,12 @@ public class StateValues
 					log.println(getValue(n));
 				}
 			} else {
-				if (printIndices)
+				if (printIndices) {
 					log.print(n);
+					log.print(":");
+				}
 				if (printStates && statesList != null)
-					log.print(":" + statesList.get(n).toString());
+					log.print(statesList.get(n).toString());
 				if (printSparse && type instanceof TypeBool) {
 					log.println();
 				} else {
diff --git a/prism/src/prism/StateValuesDV.java b/prism/src/prism/StateValuesDV.java
index 2bea6762..fe11ab18 100644
--- a/prism/src/prism/StateValuesDV.java
+++ b/prism/src/prism/StateValuesDV.java
@@ -627,10 +627,12 @@ public class StateValuesDV implements StateValues
 					outputLog.println(d);
 				}
 			} else {
-				if (printIndices)
+				if (printIndices) {
 					outputLog.print(n);
+					outputLog.print(":");
+				}
 				if (printStates) {
-					outputLog.print(":(");
+					outputLog.print("(");
 					j = varList.getNumVars();
 					for (i = 0; i < j; i++) {
 						// integer variable