X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=0b7e82452bea17d46d03dda55335c0e3d3c595f9;hb=15d219ad6f0605a49d545134699bbef55cff260e;hp=697ace697badba8c220db73de40d6c0b38bd7c35;hpb=1170cd2e9215a87aaaad36796fd9661691a4e29a;p=pspp

diff --git a/dump.c b/dump.c
index 697ace697b..0b7e82452b 100644
--- a/dump.c
+++ b/dump.c
@@ -330,10 +330,11 @@ dump_value_31(FILE *stream)
       else if (match_u32 (2))
         {
           fprintf(stream, "(special 2)");
+          if (!match_byte(0))
+            match_byte_assert(2);
           match_byte_assert(0);
-          match_byte_assert(0);
-          if (!match_u32 (2))
-            match_u32_assert(1);
+          if (!match_u32 (2) && !match_u32(1))
+            match_u32_assert(3);
           dump_nested_string(); /* Our corpus doesn't contain any examples with strings though. */
         }
       else