From 40dd7ad46590929666eaeeeb57502b36d25f06b9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 14 Apr 2008 21:44:44 +0000
Subject: [PATCH] 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 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index c8a0b736..507b1b3a 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/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;
 	}