From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 04:55:41 +0000 (-0800)
Subject: Remove lots of unnecessary match_byte()s from dump_value().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5c1c0c702010a7b6fc4fd68e23c52e873e3aec4f;p=pspp

Remove lots of unnecessary match_byte()s from dump_value().
---

diff --git a/dump.c b/dump.c
index 583057af4c..04543c3324 100644
--- a/dump.c
+++ b/dump.c
@@ -221,14 +221,11 @@ dump_value(int level)
       else
         printf("string \"%s\" and \"%s\"", s1, s2);
       match_byte (0);
-      match_byte (0);
-      match_byte (0);
       match_byte (1);
       match_byte (1);
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (1);
     }
   else if (match_byte (5))
     {
@@ -240,7 +237,6 @@ dump_value(int level)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (0);
     }
   else if (match_byte (2))
     {
@@ -260,10 +256,6 @@ dump_value(int level)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (0);
-      match_byte (0);
-      match_byte (0);
-      match_byte (0);
     }
   else if (match_byte (4))
     {
@@ -282,7 +274,6 @@ dump_value(int level)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (0);
     }
   else if (match_byte (1))
     {
@@ -297,7 +288,6 @@ dump_value(int level)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (1);
     }
   else
     {