diff --git a/inform7/assertions-module/Chapter 3/Test Requests.w b/inform7/assertions-module/Chapter 3/Test Requests.w index a5116df98..4098c4516 100644 --- a/inform7/assertions-module/Chapter 3/Test Requests.w +++ b/inform7/assertions-module/Chapter 3/Test Requests.w @@ -106,13 +106,12 @@ more elaborate: ::= ... | ==> { lookahead } | ==> { 0, - } - ==> { 0, - } + | ==> { 0, - } + ... ==> @ ::= in | ==> @ - in ... | ==> @ holding/and/, | ==> @ - holding/and/, ... | ==> @ with ... ==> @ @ =