From 2f9e7143d0598314907db701d691ffa630227538 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Fri, 4 May 2007 14:19:48 +0000
Subject: [PATCH] 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 | 4 ++--
 prism/src/parser/ModulesFile.java | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/parser/Declaration.java b/prism/src/parser/Declaration.java
index 27df48c6..a67633f3 100644
--- a/prism/src/parser/Declaration.java
+++ b/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 "";
 	}
diff --git a/prism/src/parser/ModulesFile.java b/prism/src/parser/ModulesFile.java
index bcd8eb1f..ec00605a 100644
--- a/prism/src/parser/ModulesFile.java
+++ b/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";