From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 05:11:08 +0000 (-0800)
Subject: Make dump_title_value() still a little closer to dump_value().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=4894248d0d28403f04b474f47eca308a96b66ce7

Make dump_title_value() still a little closer to dump_value().
---

diff --git a/dump.c b/dump.c
index 57bc9b4489..d9b92a4bb7 100644
--- a/dump.c
+++ b/dump.c
@@ -319,6 +319,7 @@ dump_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();
@@ -328,14 +329,14 @@ dump_value(int level)
                       for (int k = 0; k <= level + 1; k++)
                         printf ("    ");
                       printf ("\"%s\", \"%s\", \"%s\"", a, b, c);
-                      match_byte(0);
-                      match_byte(0);
-                      match_byte(0);
-                      match_byte(0);
-                      match_byte(0);
                     }
                   else
                     dump_value (level+1);
+
+                  match_byte(0);
+                  match_byte(0);
+                  match_byte(0);
+                  match_byte(0);
                   putchar('\n');
                 }
             }