From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 2 Nov 2014 18:51:49 +0000 (-0800)
Subject: Fix a few more (2 left!).
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1911b80d6a3dc1ce72f1c0beb28c5a4ba6258e16;p=pspp

Fix a few more (2 left!).
---

diff --git a/dump.c b/dump.c
index 6814dc1930..c8019cad9e 100644
--- a/dump.c
+++ b/dump.c
@@ -1219,10 +1219,6 @@ dump_title_value(int level)
                     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_title_value (level+1);