From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 05:24:14 +0000 (-0800)
Subject: Simplify dump_footnote_value().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=a6ddc56cc8847037df88335d80bca653cd4c6f45

Simplify dump_footnote_value().
---

diff --git a/dump.c b/dump.c
index ede89f96ec..26e7050999 100644
--- 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');
             }
         }