From 1181c19c9bd23d49c0282dcca8e5075c7c26b795 Mon Sep 17 00:00:00 2001
From: Graham Nelson <graham.nelson@mod-langs.ox.ac.uk>
Date: Mon, 11 Apr 2022 23:25:05 +0100
Subject: [PATCH] Fix for Mantis bug 1919

---
 inform7/assertions-module/Chapter 3/Test Requests.w | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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:
 <test-case-circumstance-list> ::=
 	... |                                                     ==> { lookahead }
 	<test-case-circumstance-list> <test-case-circumstance> |  ==> { 0, - }
-	<test-case-circumstance>                                  ==> { 0, - }
+	<test-case-circumstance> |                                ==> { 0, - }
+	...                                                       ==> @<Issue PM_TestBadRequirements problem@>
 
 <test-case-circumstance> ::=
 	in <instance-of-object> |             ==> @<Add in-test requirement@>
-	in ... |                              ==> @<Issue PM_TestBadRequirements problem@>
 	holding/and/, <instance-of-object> |  ==> @<Add holding requirement@>
-	holding/and/, ... |                   ==> @<Issue PM_TestBadRequirements problem@>
 	with ...                              ==> @<Issue PM_TestDoubleWith problem@>
 
 @<Add script@> =