Make dump_footnote_value() more like dump_value().

[pspp] / dump.c

diff --git a/dump.c b/dump.c
index f436551fa5d578920e5d449132b61fa1c41c1edd..ede89f96ec14f758c8ee18bf77564575811ef3a3 100644 (file)
--- a/dump.c
+++ b/dump.c
@@ -572,7 +572,6 @@ dump_data_value(void)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (0);
     }
   else
     {
@@ -789,10 +788,6 @@ dump_footnote_value(int level)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (0);
-      match_byte (0);
-      match_byte (0);
-      match_byte (0);
     }
   else if (match_byte (4))
     {
@@ -811,7 +806,6 @@ dump_footnote_value(int level)
       match_byte (0);
       match_byte (0);
       match_byte (0);
-      match_byte (0);
     }
   else if (match_byte (1))
     {