Make dump_data_value() more like dump_value().

diff --git a/dump.c b/dump.c
index f436551fa5d578920e5d449132b61fa1c41c1edd..bcb6d82dfd01bbdebc3b94f80c0f9d309060eaed 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
     {