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

@@ -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++) {