From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 03:35:02 +0000 (-0800)
Subject: Generalize dump_dim_value().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e2f2f98013f9dc4867e55fe4b8b551a595726886;p=pspp

Generalize dump_dim_value().
---

diff --git a/dump.c b/dump.c
index c89fe1f493..f2eaa5aec1 100644
--- a/dump.c
+++ b/dump.c
@@ -372,10 +372,6 @@ dump_dim_value(int level)
       get_string();
       printf("string \"%s\"", get_string());
       match_byte (0);
-      match_byte_assert (1);
-      match_byte (0);
-      match_byte (0);
-      match_byte (0);
       match_byte (1);
     }
   else if (match_byte (5))
@@ -497,16 +493,7 @@ dump_dim(void)
   int n_categories;
   printf("next dim\n");
   match_byte(0);
-  if (match_byte(3))
-    {
-      get_string();
-      match_byte_assert(0x58);
-      get_string();
-      printf("string \"%s\": ", get_string());
-      match_byte(1) || match_byte(0);
-    }
-  else
-    dump_dim_value(0);
+  dump_dim_value(0);
 
   /* This byte is usually 0x02 but 0x00 and 0x75 (!) have also been spotted. */
   pos++;