X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=9b90fe651d62db98b82be547cb8618e99abeb384;hb=6f432d8f62b7298cc4d6897a42e471774bd55938;hp=2c778210ffba851cda5f5b580c4cffc5d4854620;hpb=c6036b6f3dafa1e372ce57be3ef4b471533b04ca;p=pspp

diff --git a/dump.c b/dump.c
index 2c778210ff..9b90fe651d 100644
--- a/dump.c
+++ b/dump.c
@@ -431,7 +431,6 @@ dump_value(FILE *stream, int level)
       fprintf (stream, "/>\n");
       if (!match_byte (0))
         match_byte_assert(1);
-
     }
   else if (match_byte (5))
     {
@@ -558,7 +557,10 @@ dump_category(int level, int *indexes, int *n_indexes, int max_indexes)
     fprintf (stdout, "    ");
   printf ("<category>\n");
   dump_value (stdout, level + 1);
-  match_u32(1);
+  match_byte(1);
+  match_byte(0);
+  match_byte(0);
+  match_byte(0);
 
   if (match_u32 (1))
     match_byte (0);
@@ -829,7 +831,7 @@ dump_fonts(void)
     match_u32_assert(UINT32_MAX);
   if (match_byte('.'))
     {
-      if (!match_byte(','))
+      if (!match_byte(',') && !match_byte('\''))
         match_byte_assert(' ');
     }
   else