JDDVars toString typo.

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

prism/src/jdd/JDDVars.java

@@ -162,8 +162,9 @@ public class JDDVars
 			s = s + getVarIndex(i) + ", ";
 		}
 		if (vars.size() > 0) {
-			s = s + getVarIndex(vars.size() - 1) + "}";
+			s = s + getVarIndex(vars.size() - 1);
 		}
+		s += "}";
 		
 		return s;
 	}