reader: get rid of a useless function

[Akim Demaille]

commit f773e6ead50a196e006f7a5459114c7edc909f82
Author: Akim Demaille <address@hidden>
Date:   Fri Dec 28 17:32:24 2018 +0100

    reader: get rid of a useless function
    
    Useless since 58d7a1a1c7497ba51a35fcf991c5b047f692fe18 (2006).
    
    * src/parse-gram.y, src/reader.h (token_name): Remove, unused.

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. */