From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 2 Nov 2014 23:18:37 +0000 (-0800)
Subject: Fix a few footnotes.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=999862e141f140ef6451257087607f69ad276348;p=pspp

Fix a few footnotes.
---

diff --git a/dump.c b/dump.c
index 12db0c07b3..7a6b6aabb9 100644
--- a/dump.c
+++ b/dump.c
@@ -1246,6 +1246,7 @@ dump_title_value(int level)
           printf("variable %d has %d values:\n", i, y);
           for (int j = 0; j < y; j++)
             {
+              match_byte(0);
               if (match_byte(3))
                 {
                   char *a = get_string();