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