X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=c310023f4d41c873fedf91468837061d34613a97;hb=b1315dad3637e50d5d973d1e624d82f1079dedcf;hp=7aec55607eb352680d239cc166cc6064bc5c8a98;hpb=64aed3751b38127cb4302844bfb3b5eddb1fefd0;p=pspp

diff --git a/dump.c b/dump.c
index 7aec55607e..c310023f4d 100644
--- a/dump.c
+++ b/dump.c
@@ -384,7 +384,6 @@ dump_dim(void)
 {
   int n_categories;
   printf("next dim\n");
-  match_byte(0);
   dump_dim_value(0);
 
   /* This byte is usually 0x02 but 0x00 and 0x75 (!) have also been spotted. */