From 6e8dcf8598da44d07b3b54390b897feb326778ab Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 21 Jul 2004 11:03:49 +0000
Subject: [PATCH] - Minor update to state progress bar cleaner.

---
 src/main.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index 741cc47..727984d 100644
--- a/src/main.c
+++ b/src/main.c
@@ -658,7 +658,8 @@ modelCheck (const System sys)
   /* clean up any states display */
   if (sys->switchS > 0)
     {
-      fprintf (stderr, "                 \r");
+      //                States: 1.000e+06
+      fprintf (stderr, "                  \r");
     }
 
   timersPrint (sys);