From 82f10fa1c692b8f9e312312cffe6d63bd2518f6a Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 6 Nov 2014 22:59:32 -0800 Subject: [PATCH] Eliminate a few unneeded match_bytes(0)s. --- dump.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/dump.c b/dump.c index 8a2fbc4e52..854486fde4 100644 --- a/dump.c +++ b/dump.c @@ -531,10 +531,6 @@ dump_title(void) { printf("footnote %d:\n", i); dump_footnote_value(0); - match_byte(0); - match_byte(0); - match_byte(0); - match_byte(0); if (match_byte (0x31)) { /* Custom footnote marker string. */ -- 2.30.2