X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=57bc9b4489e186abc35175038c40d53ed6031cc1;hb=35d486d1a1ca5dd788b188355fd5e090bed785b3;hp=c8ff8a6229226b670f8b3b74c695fddd64b5066f;hpb=52157fbcfa86376df02b63034495ef56f3c4a1ff;p=pspp

diff --git a/dump.c b/dump.c
index c8ff8a6229..57bc9b4489 100644
--- a/dump.c
+++ b/dump.c
@@ -233,7 +233,7 @@ dump_value(int level)
     }
   else if (match_byte (5))
     {
-      match_byte_assert (0x58);
+      dump_value_31();
       printf ("variable \"%s\"", get_string());
       get_string();
       if (!match_byte(1) && !match_byte(2))
@@ -297,6 +297,7 @@ dump_value(int level)
     {
       dump_value_31();
       char *base = get_string();
+
       int x = get_u32();
       printf ("\"%s\" with %d variables:\n", base, x);
       if (match_u32(0))
@@ -632,7 +633,6 @@ dump_title_value(int level)
   match_byte (0);
   match_byte (0);
   match_byte (0);
-  match_byte (0);
   if (match_byte (3))
     {
       get_string();
@@ -640,14 +640,11 @@ dump_title_value(int level)
       get_string();
       printf("string \"%s\"", get_string());
       match_byte (0);
-      match_byte (0);
-      match_byte (0);
       match_byte (1);
       match_byte (1);
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (1);
     }
   else if (match_byte (5))
     {
@@ -675,10 +672,6 @@ dump_title_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))
     {
@@ -697,7 +690,6 @@ dump_title_value(int level)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (0);
     }
   else if (match_byte (1))
     {
@@ -712,7 +704,6 @@ dump_title_value(int level)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (1);
     }
   else
     {