print: remove unused function

This function was unused since 1991's original import by
rms (e06f0c3442).

* src/print.c (print_token): Remove.
This commit is contained in:
Akim Demaille
2018-07-09 13:26:56 +02:00
parent d2e7bc1613
commit 0def17c3d1

View File

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