Make dump_title_value() closer to dump_value().
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 05:08:05 +0000 (21:08 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 05:08:05 +0000 (21:08 -0800)
dump.c

diff --git a/dump.c b/dump.c
index c8ff8a6229226b670f8b3b74c695fddd64b5066f..57bc9b4489e186abc35175038c40d53ed6031cc1 100644 (file)
--- 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
     {