master: print: remove unused function

[Akim Demaille]

FYI

commit 0def17c3d1d008f660845556f5456d505ef73747
Author: Akim Demaille <address@hidden>
Date:   Mon Jul 9 13:26:56 2018 +0200

    print: remove unused function
    
    This function was unused since 1991's original import by
    rms (e06f0c34427faedc7afbec9554adbffc4c87312e).
    
    * src/print.c (print_token): Remove.

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