From 72e71e1591ad0a452090dc8b7f12de187d41f2f1 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 6 Nov 2014 21:23:42 -0800 Subject: [PATCH] Make dump_footnote_value() more like dump_value(). --- dump.c | 5 ----- 1 file changed, 5 deletions(-) diff --git a/dump.c b/dump.c index bcb6d82dfd..ede89f96ec 100644 --- a/dump.c +++ b/dump.c @@ -788,10 +788,6 @@ dump_footnote_value(int level) match_byte (0); match_byte (0); match_byte (0); - match_byte (0); - match_byte (0); - match_byte (0); - match_byte (0); } else if (match_byte (4)) { @@ -810,7 +806,6 @@ dump_footnote_value(int level) match_byte (0); match_byte (0); match_byte (0); - match_byte (0); } else if (match_byte (1)) { -- 2.30.2