From 0def17c3d1d008f660845556f5456d505ef73747 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Mon, 9 Jul 2018 13:26:56 +0200
Subject: print: remove unused function

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

* src/print.c (print_token): Remove.
---
 src/print.c | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'src/print.c')

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
-
 
 
 /*---------------------------------------.
-- 
cgit v1.2.1