From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 05:56:10 +0000 (-0800)
Subject: Remove special case in dump_title_value().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ba84922a729a7965a77dfc821c974099162251a;p=pspp

Remove special case in dump_title_value().
---

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