Fix one more.

[pspp] / dump.c

diff --git a/dump.c b/dump.c
index 14a84720429b9e1a8b54b61440924d6be0b26dbb..49f4a888b87da835904f0d1c0741bc0b6c2cd76f 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -689,7 +689,10 @@ dump_data(void)
             {
               if (match_u32 (0))
                 {
-                  match_u32_assert (0);
+                  if (match_u32 (1))
+                    get_string();
+                  else
+                    match_u32_assert (0);
                   int subn = get_u32 ();
                   printf ("nested %d bytes", subn);
                   pos += subn;
@@ -731,6 +734,7 @@ dump_data(void)
               if (match_u32 (0))
                 {
                   match_u32_assert (1);
+                  get_string ();
                   int subn = get_u32 ();
                   printf ("nested %d bytes", subn);
                   pos += subn;