From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 2 Nov 2014 19:45:40 +0000 (-0800)
Subject: Fix more footnotes (3 left).
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=54d2ea4e7b7feeac8f91bdc231f7dfc65993b0eb;p=pspp

Fix more footnotes (3 left).
---

diff --git a/dump.c b/dump.c
index 2ba9827ba5..46fba9a884 100644
--- a/dump.c
+++ b/dump.c
@@ -1298,7 +1298,7 @@ dump_title(void)
               match_byte_assert(0x58);
               match_u32_assert(0);
               get_string();
-              match_byte_assert(0);
+              match_byte(0);
             }
           else
             match_byte_assert (0x58);