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 "";
 	}