From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 17 Oct 2014 03:56:07 +0000 (-0700)
Subject: Get a few more tables' dimensions reading OK.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=089a6279bf314427f1674f6f63c5cb98e28ba20e;p=pspp

Get a few more tables' dimensions reading OK.

The main stragglers are ones with "31" tags but there are few others.
---

diff --git a/dump.c b/dump.c
index 9a44b0346c..a59a628e3b 100644
--- a/dump.c
+++ b/dump.c
@@ -143,7 +143,8 @@ dump_category(int level)
       match_byte_assert (0x58);
       printf ("variable \"%s\"", get_string());
       get_string();
-      match_byte_assert (3);
+      if (!match_byte (3))
+        match_byte_assert (2);
       match_byte (0);
       match_byte (0);
       match_byte (0);