- Minor update to state progress bar cleaner.

2004-07-21 11:03:49 +00:00 · 2004-07-21 11:03:49 +00:00 · 6e8dcf8598
commit 6e8dcf8598
parent 45950e3e56
1 changed files with 2 additions and 1 deletions
--- a/src/main.c
+++ b/src/main.c
@ -658,6 +658,7 @@ modelCheck (const System sys)
  /* clean up any states display */
  if (sys->switchS > 0)
    {
+      //                States: 1.000e+06
      fprintf (stderr, "                  \r");
    }