Generalize dump_dim_value().

diff --git a/dump.c b/dump.c
index c89fe1f493795a7c53000641464adc90ccac6856..f2eaa5aec1082a94d904657ff8ebfa1b984cb46d 100644 (file)
--- 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++;