Use unlocked I/O for a minor performance improvement on hosts like

[bison.git] / lib / bitset.c

diff --git a/lib/bitset.c b/lib/bitset.c
index ddbef843668f3cc797abb32e38777a095eefbc88..24bfb879d05730f1d98afb550426eb9b82944f24 100644 (file)
--- a/lib/bitset.c
+++ b/lib/bitset.c
@@ -303,7 +303,7 @@ bitset_print (FILE *file, bitset bset, bool verbose)
   {
     if (pos > 70)
       {
-       fprintf (file, "\n");
+       fputc ('\n', file);
        pos = 0;
       }
 
@@ -312,7 +312,7 @@ bitset_print (FILE *file, bitset bset, bool verbose)
   };
 
   if (verbose)
-    fprintf (file, "}\n");
+    fputs ("}\n", file);
 }