From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 05:23:42 +0000 (-0800)
Subject: Make dump_footnote_value() more like dump_value().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=72e71e1591ad0a452090dc8b7f12de187d41f2f1;p=pspp

Make dump_footnote_value() more like dump_value().
---

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))
     {