Simplify dump_footnote_value().

diff --git a/dump.c b/dump.c
index ede89f96ec14f758c8ee18bf77564575811ef3a3..26e7050999a49b5840979cdaa67c618ef2159347 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -835,20 +835,7 @@ dump_footnote_value(int level)
           printf("variable %d has %d values:\n", i, y);
           for (int j = 0; j < y; j++)
             {
-              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(1))
-                    match_byte_assert(0);
-                }
-              else
-                dump_footnote_value (level+1);
+              dump_footnote_value (level+1);
               putchar('\n');
             }
         }