From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 2 Nov 2014 05:02:08 +0000 (-0700)
Subject: Fix one more.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=18d629934a8fa1e254986883f288c5db18c33f86;p=pspp

Fix one more.
---

diff --git a/dump.c b/dump.c
index 50e1ba2c3e..3ff45737c6 100644
--- a/dump.c
+++ b/dump.c
@@ -296,8 +296,6 @@ dump_value(int level)
     }
   else if (match_byte (0x31))
     {
-      int subn;
-
       if (match_u32 (1))
         {
           printf("(footnote %d) ", get_u32());
@@ -311,7 +309,7 @@ dump_value(int level)
         {
           match_u32_assert (0);
           match_u32_assert (0);
-          subn = get_u32 ();
+          int subn = get_u32 ();
           printf ("nested %d bytes", subn);
           pos += subn;
         }
@@ -688,7 +686,14 @@ dump_data(void)
 
           if (match_byte (0x31))
             {
-              if (match_u32 (1))
+              if (match_u32 (0))
+                {
+                  match_u32_assert (0);
+                  int subn = get_u32 ();
+                  printf ("nested %d bytes", subn);
+                  pos += subn;
+                }
+              else if (match_u32 (1))
                 {
                   printf("(footnote %d) ", get_u32());
                   match_byte_assert (0);