X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fspv%2Flight-binary.grammar;h=05ba2a2d9055aa99f764edc10f6d2154cdc1bf2f;hb=4cc9925e87a7efc1e5a9e0b452549d2bce0cb847;hp=cf6e6c5fc30a877a318553e4884f0e2253b16a51;hpb=cd5a61766a5a599e9cf6b010e48bf1f57c9a1c4c;p=pspp

diff --git a/src/output/spv/light-binary.grammar b/src/output/spv/light-binary.grammar
index cf6e6c5fc3..05ba2a2d90 100644
--- a/src/output/spv/light-binary.grammar
+++ b/src/output/spv/light-binary.grammar
@@ -126,7 +126,9 @@ Y1 =>
 Y2 => CustomCurrency byte[missing] bool[x17]
 
 X1 =>
-   bool[x14] byte[x15] bool[x16]
+   bool[x14]
+   byte[show-title]
+   bool[x16]
    byte[lang]
    byte[show-variables]
    byte[show-values]