From 37560740cdb820b9d516273e079b3394ef23c1a6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 23 Mar 2012 15:19:47 +0000
Subject: [PATCH] Bugfixes in new ProgressDisplay.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4946 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ProgressDisplay.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/ProgressDisplay.java b/prism/src/prism/ProgressDisplay.java
index 5f6e6e19..e58461c8 100644
--- a/prism/src/prism/ProgressDisplay.java
+++ b/prism/src/prism/ProgressDisplay.java
@@ -55,6 +55,7 @@ public class ProgressDisplay
 	 */
 	public void start()
 	{
+		totalCount = -1; // i.e. not used
 		lastCount = 0;
 		lastPercentageDone = 0;
 		timerProgress = System.currentTimeMillis();
@@ -140,6 +141,7 @@ public class ProgressDisplay
 	{
 		mainLog.print(text);
 		if (totalCount != -1)
-			mainLog.println(" ]");
+			mainLog.print(" ]");
+		mainLog.println();
 	}
 }