Semicolon behind Declaration in toString()

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

prism/src/parser/Declaration.java

@@ -236,10 +236,10 @@ public class Declaration
 	public String toString()
 	{
 		if (type == Expression.INT) {
-			return name + " : [" + low + ".." + high + "] init " + start;
+			return name + " : [" + low + ".." + high + "] init " + start + ";";
 		}
 		else if (type == Expression.BOOLEAN) {
-			return name + " : bool init " + start;
+			return name + " : bool init " + start + ";";
 		}
 		else return "";
 	}