Moved fix that printed semicolon behind global declaration to modulesfile, where it belongs

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@328 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 "";
 	}

prism/src/parser/ModulesFile.java

@@ -815,7 +815,7 @@ public class ModulesFile
 		
 		n = globals.size();
 		for (i = 0; i < n; i++) {
-			s += "global " + globals.elementAt(i) + "\n";
+			s += "global " + globals.elementAt(i) + ";\n";
 		}
 		if (n > 0) {
 			s += "\n";