Merged this branch with the one in the splint.sf.net repository.

[splint.git] / src / cttable.i

diff --git a/src/cttable.i b/src/cttable.i
index c75982a06b2a3af9e84bfca21e597100629ffc8c..18a30ebfc07d17aaf0b823f8fadfcd9fe3a12a85 100644 (file)
--- a/src/cttable.i
+++ b/src/cttable.i
@@ -320,7 +320,7 @@ cttable_dump (FILE *fout)
   if (context_getFlag (FLG_SHOWSCAN) && cttab.size > 5000)
     {
       displayScanClose ();
-      displayScanOpen (message ("Dumping type table (%d types)", cttab.size));
+      displayScanOpen (message ("< Dumping type table (%d types) ", cttab.size));
       showdotstride = cttab.size / 5;
       showdots = TRUE;
     }
@@ -338,15 +338,14 @@ cttable_dump (FILE *fout)
       if (showdots && (i != 0 && ((i - 1) % showdotstride == 0)))
        {
          (void) fflush (g_warningstream);
-         displayScanContinue (cstring_makeLiteralTemp ("."));
+         fprintf (stderr, ".");
          (void) fflush (stderr);
        }
     }
 
   if (showdots)
     {
-      displayScanClose ();
-      displayScanOpen (cstring_makeLiteral ("Continuing dump "));
+      fprintf (stderr, " >\n< Continuing dump ");
     }
   
 }