From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 04:51:32 +0000 (-0800)
Subject: Simplify dump_title() footnote handling.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c7e8c14e655d0bcfe90e6ebc7d7897f0e696cea0;p=pspp

Simplify dump_title() footnote handling.
---

diff --git a/dump.c b/dump.c
index a3e10f47c7..583057af4c 100644
--- 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);