Simplify dump_title() footnote handling.

diff --git a/dump.c b/dump.c
index a3e10f47c75ae38dd9728b670d71975b15bc7b00..583057af4cdf4dfe99b02ecc130b6741ea82f155 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -1101,9 +1101,7 @@ dump_title(void)
           match_byte(0);
           match_byte(0);
           match_byte(0);
-          if (data[pos] == 1)
-            dump_footnote_value(0);
-          else if (match_byte (0x31))
+          if (match_byte (0x31))
             {
               /* Custom footnote marker string. */
               match_byte_assert(3);