Remove special case in dump_title_value().

diff --git a/dump.c b/dump.c
index b6fbaf8d4c3393cae22f0a7cf1e23788c7a3d4d4..c4a63b0563b2ee67c7809d54805f8f9e6f4bd3d0 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -592,21 +592,7 @@ dump_title_value(int level)
           printf("variable %d has %d values:\n", i, y);
           for (int j = 0; j < y; j++)
             {
-              match_byte(0);
-              if (match_byte(3))
-                {
-                  char *a = get_string();
-                  match_byte_assert(0x58);
-                  char *b = get_string();
-                  char *c = get_string();
-                  for (int k = 0; k <= level + 1; k++)
-                    printf ("    ");
-                  printf ("\"%s\", \"%s\", \"%s\"", a, b, c);
-                  if (!match_byte(0))
-                    match_byte_assert(1);
-                }
-              else
-                dump_title_value (level+1);
+              dump_title_value (level+1);
               putchar('\n');
             }
         }