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

[bison.git] / src / scan-gram.l

diff --git a/src/scan-gram.l b/src/scan-gram.l
index 7060ddbd6212834b2220763b792bfa96ef66f7d1..1b44f5137a9bded1bc90c9e9894ac43ad2dadfc5 100644 (file)
--- a/src/scan-gram.l
+++ b/src/scan-gram.l
@@ -224,6 +224,7 @@ splice       (\\[ \f\t\v]*\n)*
   "%prec"                 rule_length--; return PERCENT_PREC;
   "%printer"              token_type = PERCENT_PRINTER; BEGIN SC_PRE_CODE;
   "%pure"[-_]"parser"     return PERCENT_PURE_PARSER;
+  "%require"              return PERCENT_REQUIRE;
   "%right"                return PERCENT_RIGHT;
   "%skeleton"             return PERCENT_SKELETON;
   "%start"                return PERCENT_START;