From 1c0f0feeab19f2b2ae4c21f2755dca7b15234c9b Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Mon, 16 Apr 2007 12:32:17 +0000
Subject: [PATCH] Fixed bug where formula is not terminated by semicolon

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@264 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/FormulaList.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/FormulaList.java b/prism/src/parser/FormulaList.java
index 6464a9a0..4726ae0b 100644
--- a/prism/src/parser/FormulaList.java
+++ b/prism/src/parser/FormulaList.java
@@ -178,7 +178,7 @@ public class FormulaList
 		n = formulas.size();
 		for (i = 0; i < n; i++) {
 			s += "formula " + names.elementAt(i);
-			s += " = " + formulas.elementAt(i) + "\n";
+			s += " = " + formulas.elementAt(i) + ";\n";
 		}
 		
 		return s;