Index: src/Parser/parser.yy
===================================================================
--- src/Parser/parser.yy	(revision ac235a85d3e8213c643b3a016412570dcf411947)
+++ src/Parser/parser.yy	(revision 678c5408b6ab55142ec844d30679a4c67e4812c3)
@@ -10,6 +10,6 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Mar 29 17:56:42 2023
-// Update Count     : 6325
+// Last Modified On : Thu Mar 30 21:28:25 2023
+// Update Count     : 6328
 //
 
@@ -1651,5 +1651,5 @@
 		// Called first: create header for WaitForStmt.
 		{ $$ = build_waitfor( new WaitForStmt(), $1, $2, maybe_build_compound( $3 ) ); }
-	| wor_waitfor_clause wor when_clause_opt waitfor statement	%prec THEN
+	| wor_waitfor_clause wor when_clause_opt waitfor statement
 		{ $$ = build_waitfor( $1, $3, $4, maybe_build_compound( $5 ) ); }
 	| wor_waitfor_clause wor when_clause_opt ELSE statement
@@ -1695,5 +1695,5 @@
 	wand_waituntil_clause
 		{ printf( "wor_waituntil_clause 1\n" ); $$ = nullptr; }
-	| wor_waituntil_clause wor wor_waituntil_clause		%prec THEN
+	| wor_waituntil_clause wor wand_waituntil_clause
 		{ printf( "wor_waituntil_clause 2\n" ); $$ = nullptr; }
 	| wor_waituntil_clause wor when_clause_opt ELSE statement