Remove trailing space when outputting StateValuesMTBDD.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8415 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/StateValuesMTBDD.java

@@ -624,7 +624,7 @@ public class StateValuesMTBDD implements StateValues
 				}
 				if (i < j-1) outputLog.print(",");
 			}
-			outputLog.print(")=" + dd.getValue() + " ");
+			outputLog.print(")=" + dd.getValue());
 			outputLog.println();
 			return;
 		}