From 3b4cebd7838dd296d4973fd32b487ac314188c2f Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Wed, 18 Apr 2007 14:13:56 +0000
Subject: [PATCH] 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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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