Fix for Mantis bug 1919

ganelson · Apr 11, 2022 · 1181c19 · 1181c19
1 parent e71bd9e
commit 1181c19
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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@> =