]> git.saurik.com Git - bison.git/blobdiff - src/muscle-tab.c
maint: more syntax-checks
[bison.git] / src / muscle-tab.c
index f3933c3faf02412f37bd3d792c165ecfe6c7a4ce..86363f5011bbb35ea91757b3152da78838c1421f 100644 (file)
@@ -399,6 +399,7 @@ muscle_percent_variable_update (char const *variable, location variable_loc)
     {
       { "api.push_pull", "api.push-pull", },
       { "api.tokens.prefix", "api.token.prefix", },
     {
       { "api.push_pull", "api.push-pull", },
       { "api.tokens.prefix", "api.token.prefix", },
+      { "lex_symbol", "api.token.constructor", },
       { "location_type", "api.location.type", },
       { "lr.default-reductions", "lr.default-reduction", },
       { "lr.keep-unreachable-states", "lr.keep-unreachable-state", },
       { "location_type", "api.location.type", },
       { "lr.default-reductions", "lr.default-reduction", },
       { "lr.keep-unreachable-states", "lr.keep-unreachable-state", },
@@ -608,8 +609,8 @@ muscle_percent_define_check_values (char const * const *values)
                                quote (*variablep), quote_n (1, value));
               i += SUB_INDENT;
               for (values = variablep + 1; *values; ++values)
                                quote (*variablep), quote_n (1, value));
               i += SUB_INDENT;
               for (values = variablep + 1; *values; ++values)
-                complain_indent (&loc, complaint, &i, _("accepted value: %s"),
-                                 quote (*values));
+                complain_indent (&loc, complaint | no_caret, &i,
+                                 _("accepted value: %s"), quote (*values));
             }
           else
             {
             }
           else
             {