Use ASCII for Sebastien Fricker's name.

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

diff --git a/src/scan-gram.l b/src/scan-gram.l
index 34d9e4abc220bafeaff1c61f2d4e49439774a335..fb22e5888c2773e3f548f8b2a9a797ca290f9396 100644 (file)
--- a/src/scan-gram.l
+++ b/src/scan-gram.l
@@ -159,7 +159,6 @@ splice       (\\[ \f\t\v]*\n)*
 {
   "%binary"                        return PERCENT_NONASSOC;
   "%code"                           return PERCENT_CODE;
 {
   "%binary"                        return PERCENT_NONASSOC;
   "%code"                           return PERCENT_CODE;

-  "%code-top"                       return PERCENT_CODE_TOP;

   "%debug"                         return PERCENT_DEBUG;
   "%default"[-_]"prec"             return PERCENT_DEFAULT_PREC;
   "%define"                        return PERCENT_DEFINE;
   "%debug"                         return PERCENT_DEBUG;
   "%default"[-_]"prec"             return PERCENT_DEFAULT_PREC;
   "%define"                        return PERCENT_DEFINE;


@@ -188,12 +187,10 @@ splice     (\\[ \f\t\v]*\n)*
   "%parse-param"                   return PERCENT_PARSE_PARAM;
   "%prec"                          return PERCENT_PREC;
   "%printer"                       return PERCENT_PRINTER;
   "%parse-param"                   return PERCENT_PARSE_PARAM;
   "%prec"                          return PERCENT_PREC;
   "%printer"                       return PERCENT_PRINTER;

-  "%provides"                       return PERCENT_PROVIDES;

   "%pure"[-_]"parser"              return PERCENT_PURE_PARSER;
   "%push-parser"                   return PERCENT_PUSH_PARSER;
   "%push-pull-parser"              return PERCENT_PUSH_PULL_PARSER;
   "%require"                       return PERCENT_REQUIRE;
   "%pure"[-_]"parser"              return PERCENT_PURE_PARSER;
   "%push-parser"                   return PERCENT_PUSH_PARSER;
   "%push-pull-parser"              return PERCENT_PUSH_PULL_PARSER;
   "%require"                       return PERCENT_REQUIRE;

-  "%requires"                       return PERCENT_REQUIRES;

   "%right"                         return PERCENT_RIGHT;
   "%skeleton"                      return PERCENT_SKELETON;
   "%start"                         return PERCENT_START;
   "%right"                         return PERCENT_RIGHT;
   "%skeleton"                      return PERCENT_SKELETON;
   "%start"                         return PERCENT_START;