From e2fa7215b98dcd456f75decf3daf189e195fda38 Mon Sep 17 00:00:00 2001
From: Joachim Klein <joachim.klein@automata.tools>
Date: Tue, 23 Apr 2019 21:23:56 +0200
Subject: [PATCH] StateValuesDV: Fix output when indices are not to be printed

A : was printed in front of the state variable values, even though
no index was printed, i.e.,

:(3,2,5)=0.5

Only print : after index, as is done for explicit printing. StateValuesMTBDD
currently does not support index-less printing.
---
 prism/src/prism/StateValuesDV.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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