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

diff --git a/dump.c b/dump.c
index 583057af4cdf4dfe99b02ecc130b6741ea82f155..04543c3324e7b9a0dd7b4bd80787609857b87085 100644 (file)
--- 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
     {