From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 05:18:23 +0000 (-0800)
Subject: Make dump_data_value() more like dump_value().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=186d52d9f47015c5896d793b319d2cb9a1012f52;p=pspp

Make dump_data_value() more like dump_value().
---

diff --git a/dump.c b/dump.c
index f436551fa5..bcb6d82dfd 100644
--- a/dump.c
+++ b/dump.c
@@ -572,7 +572,6 @@ dump_data_value(void)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (0);
     }
   else
     {