From 48183cecf59d80936316b0d45aea6cebc081be25 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 13 Jan 2015 18:33:58 +0000
Subject: [PATCH] Output bug in StateValuesDV (prints := not : when there are
 indices but no states).

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

diff --git a/prism/src/prism/StateValuesDV.java b/prism/src/prism/StateValuesDV.java
index 69563918..cae5f6d8 100644
--- a/prism/src/prism/StateValuesDV.java
+++ b/prism/src/prism/StateValuesDV.java
@@ -652,9 +652,9 @@ public class StateValuesDV implements StateValues
 			} else {
 				if (printIndices) {
 					outputLog.print(n);
-					outputLog.print(":");
 				}
 				if (printStates) {
+					outputLog.print(":");
 					outputLog.print("(");
 					j = varList.getNumVars();
 					for (i = 0; i < j; i++) {