X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=detail-xml;h=9fca90acf4aa118f8f887bd9208810b275b36cc9;hb=1713de7bb9768a933a7974a3713586a63f53d638;hp=3735a657fa61ef8444fb9b985601912a050d736f;hpb=a44813e69593b8c3a8c1ee08c0f08a18a52af256;p=pspp

diff --git a/detail-xml b/detail-xml
index 3735a657fa..9fca90acf4 100644
--- a/detail-xml
+++ b/detail-xml
@@ -66,7 +66,7 @@ formatMapping := [id? from] format
 footnotes := [id? superscript variable] footnoteMapping+
 footnoteMapping := [id? from to definesReference]
 
-cross := [id?] nest+
+cross := [id?] nest nest
 nest := [id?] variableReference+
 variableReference := [ref]