From 74f7e168fc9a87ff45730452df3627636c5e2f77 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 22 Nov 2022 14:47:45 -0800 Subject: [PATCH] spv: ALlow an extra 01 at the end of X3. One sample received in a user report had this present. --- doc/dev/spv-file-format.texi | 2 +- src/output/spv/light-binary.grammar | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/dev/spv-file-format.texi b/doc/dev/spv-file-format.texi index fb2c1eb164..299ee77fc8 100644 --- a/doc/dev/spv-file-format.texi +++ b/doc/dev/spv-file-format.texi @@ -1547,7 +1547,7 @@ X3 => double[small] 01 (string[dataset] string[datafile] i0 int32[date] i0)? Y2 - (int32[x22] i0)? + (int32[x22] i0 01?)? @end example @code{small} is a small real number. In the corpus, it overwhelmingly diff --git a/src/output/spv/light-binary.grammar b/src/output/spv/light-binary.grammar index 816968fdd0..74d5315758 100644 --- a/src/output/spv/light-binary.grammar +++ b/src/output/spv/light-binary.grammar @@ -150,7 +150,7 @@ X3 => double[small] 01 (string[dataset] string[datafile] i0 int32[date] i0)? Y2 - (int32[x22] i0)? + (int32[x22] i0 01?)? Dimensions => int32[n-dims] Dimension*[n-dims] Dimension => -- 2.30.2