From c08e0863be8743fa5a335a615de9a857afbd1544 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sat, 26 Sep 2020 14:32:25 +0200 Subject: [PATCH] glr.cc: fix: use symbol_name * data/skeletons/glr.cc: here. --- data/skeletons/glr.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/skeletons/glr.cc b/data/skeletons/glr.cc index 56279f42..8ba34fc2 100644 --- a/data/skeletons/glr.cc +++ b/data/skeletons/glr.cc @@ -172,7 +172,7 @@ m4_pushdef([b4_parse_param], m4_defn([b4_parse_param_orig]))dnl const location_type* yylocationp]])[) const { *yycdebug_ << (yykind < YYNTOKENS ? "token" : "nterm") - << ' ' << yytname[yykind] << " ("]b4_locations_if([[ + << ' ' << yysymbol_name (yykind) << " ("]b4_locations_if([[ << *yylocationp << ": "]])[; yy_symbol_value_print_ (yykind, yyvaluep]b4_locations_if([[, yylocationp]])[); *yycdebug_ << ')'; -- 2.11.4.GIT