X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=04543c3324e7b9a0dd7b4bd80787609857b87085;hb=5c1c0c702010a7b6fc4fd68e23c52e873e3aec4f;hp=583057af4cdf4dfe99b02ecc130b6741ea82f155;hpb=c7e8c14e655d0bcfe90e6ebc7d7897f0e696cea0;p=pspp

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
     {