X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump.c;h=c737c01d1dd4f8252967d8e8b66785f992cf9a70;hb=b84bc4577a96fdafefda66b414fa0eae35e81331;hp=6cc9e52abe4e5a9767b5d008841ba462a14893cc;hpb=d98a8409e3d4163c398b78a7edaa9ff286933805;p=pspp
diff --git a/dump.c b/dump.c
index 6cc9e52abe..c737c01d1d 100644
--- a/dump.c
+++ b/dump.c
@@ -1031,19 +1031,7 @@ dump_fonts(void)
match_byte_assert(0);
if (!match_byte(0))
match_byte_assert(1);
- if (version > 1)
- {
- if (!match_byte(0x97) && !match_byte(0x98)
- && !match_byte(0x99) && !match_byte(0x9a) && !match_byte(0x9b))
- match_byte_assert(0x9c);
- match_byte_assert(7);
- match_byte_assert(0);
- match_byte_assert(0);
- }
- else
- {
- printf("%x\n", get_u32());
- }
+ printf("%d\n", get_u32());
int decimal = data[pos];
int grouping = data[pos + 1];
@@ -1105,12 +1093,7 @@ dump_fonts(void)
if (!match_byte(0))
match_byte_assert(1);
- if (!match_byte(0x97) && !match_byte(0x98)
- && !match_byte(0x99) && !match_byte(0x9a) && !match_byte(0x9b))
- match_byte_assert(0x9c);
- match_byte_assert(7);
- match_byte_assert(0);
- match_byte_assert(0);
+ printf("%d\n", get_u32());
if (match_byte('.'))
{