X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=f8150b3894bb31255a2bf5c2d613b3efc9e65cf9;hb=2dd9dfdb9e1d57ade87bf416c42431610854d0b7;hp=158caace62ca1ccf344efa3e00097bdcb1eb9502;hpb=7b655ed0e0c7283765978b4b3975a320f10d8a4b;p=pspp

diff --git a/dump.c b/dump.c
index 158caace62..f8150b3894 100644
--- a/dump.c
+++ b/dump.c
@@ -388,7 +388,12 @@ dump_dim(void)
     match_u32_assert(2);
   if (!match_byte(0))
     match_byte_assert(1);
-  get_u32();
+  if (!match_byte(0))
+    match_byte_assert(1);
+  match_byte_assert(1);
+  static int dim_indx = 0;
+  match_byte_assert(dim_indx++);
+  pos += 1;
   match_byte(0);
   match_byte(0);
   n_categories = get_u32();