spv: ALlow an extra 01 at the end of X3.

One sample received in a user report had this present.

diff --git a/doc/dev/spv-file-format.texi b/doc/dev/spv-file-format.texi
index fb2c1eb16494a800b38a14e5e756e3c26176d0de..299ee77fc850f19924e1be20cd26f508d8d98ab7 100644 (file)
--- 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 816968fdd0ec146ee9ca2637c870cabe1b441b16..74d5315758e2e696a1e732706c1d9a945b2885a7 100644 (file)
--- 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 =>