Dimension index is actually a word.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 17:34:05 +0000 (09:34 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2014 17:34:05 +0000 (09:34 -0800)
dump.c

diff --git a/dump.c b/dump.c
index f8150b3894bb31255a2bf5c2d613b3efc9e65cf9..f478131555e2ef126837096f65f4a292b2d02741 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -392,10 +392,7 @@ dump_dim(void)
     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);
+  match_u32_assert(dim_indx++);
   n_categories = get_u32();
   printf("%d nested categories\n", n_categories);