From f7ab332bead0665caa4f3ccc7dcf28098f8b0406 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 26 Jul 2015 22:04:27 -0700
Subject: [PATCH] dump: Title section sometimes has an extra 1 after 0x31.

---
 dump.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dump.c b/dump.c
index a31cceae44..a7ccbdc88b 100644
--- a/dump.c
+++ b/dump.c
@@ -267,6 +267,7 @@ dump_value_31(FILE *stream)
           if (match_byte(0x31))
             {
               /* Only one example in the corpus. */
+              match_byte(1);
               match_byte(0);
               match_byte(0);
               match_byte(0);
-- 
2.30.2