Fix one more.

diff --git a/dump.c b/dump.c
index 50e1ba2c3e1697c3e31328e20577d4dde4c81b0d..3ff45737c66d2bc10a9841f1ec7418f2691d2622 100644 (file)
--- 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);