From f773e6ead50a196e006f7a5459114c7edc909f82 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Fri, 28 Dec 2018 17:32:24 +0100
Subject: [PATCH] reader: get rid of a useless function

Useless since 58d7a1a1c7497ba51a35fcf991c5b047f692fe18 (2006).

* src/parse-gram.y, src/reader.h (token_name): Remove, unused.
---
 src/parse-gram.c | 6 ------
 src/parse-gram.y | 6 ------
 src/reader.h     | 1 -
 3 files changed, 13 deletions(-)

diff --git a/src/parse-gram.c b/src/parse-gram.c
index ca086285..848bd7a4 100644
--- a/src/parse-gram.c
+++ b/src/parse-gram.c
@@ -3382,12 +3382,6 @@ gram_error (location const *loc, char const *msg)
   complain (loc, complaint, "%s", msg);
 }
 
-char const *
-token_name (int type)
-{
-  return yytname[YYTRANSLATE (type)];
-}
-
 static char const *
 char_name (char c)
 {
diff --git a/src/parse-gram.y b/src/parse-gram.y
index 9970f927..366dccb5 100644
--- a/src/parse-gram.y
+++ b/src/parse-gram.y
@@ -916,12 +916,6 @@ gram_error (location const *loc, char const *msg)
   complain (loc, complaint, "%s", msg);
 }
 
-char const *
-token_name (int type)
-{
-  return yytname[YYTRANSLATE (type)];
-}
-
 static char const *
 char_name (char c)
 {
diff --git a/src/reader.h b/src/reader.h
index be327f88..8b77ae66 100644
--- a/src/reader.h
+++ b/src/reader.h
@@ -38,7 +38,6 @@ typedef struct merger_list
 /* From the parser.  */
 extern int gram_debug;
 int gram_parse (void);
-char const *token_name (int type);
 
 
 /* From reader.c. */