diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-07-09 13:26:56 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-07-26 20:10:38 +0200 |
commit | 0def17c3d1d008f660845556f5456d505ef73747 (patch) | |
tree | 02a360b459cb719ec178d03f8733af6a25ade000 /src/print.c | |
parent | d2e7bc1613b6b8718c5fe5fa3c901a70b1e00e57 (diff) | |
download | bison-0def17c3d1d008f660845556f5456d505ef73747.tar.gz |
print: remove unused function
This function was unused since 1991's original import by
rms (e06f0c34427faedc7afbec9554adbffc4c87312e).
* src/print.c (print_token): Remove.
Diffstat (limited to 'src/print.c')
-rw-r--r-- | src/print.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/print.c b/src/print.c index 9d77e1a1..36ad9d34 100644 --- a/src/print.c +++ b/src/print.c @@ -40,14 +40,6 @@ static bitset no_reduce_set; -#if 0 -static void -print_token (int extnum, int token) -{ - fprintf (out, _(" type %d is %s\n"), extnum, tags[token]); -} -#endif - /*---------------------------------------. |