Index: tests/concurrent/examples/boundedBufferTHREAD.cfa
===================================================================
--- tests/concurrent/examples/boundedBufferTHREAD.cfa	(revision aca144e404ad4f07edeab0cf40cf984228940f55)
+++ tests/concurrent/examples/boundedBufferTHREAD.cfa	(revision 3b56166e2d00085e18256c8d9253b11989107908)
@@ -10,6 +10,6 @@
 // Created On       : Wed Apr 18 22:52:12 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jun 21 11:50:12 2019
-// Update Count     : 24
+// Last Modified On : Thu Jan 16 23:09:43 2020
+// Update Count     : 25
 //
 
@@ -44,10 +44,10 @@
 	void main( Buffer & buffer ) with( buffer ) {
 		for () {
-			waitfor( ^?{}, buffer ) {
+			waitfor( ^?{} : buffer ) {
 				break;
-			} or when ( count != 20 ) waitfor( insert, buffer ) {
+			} or when ( count != 20 ) waitfor( insert : buffer ) {
 				back = (back + 1) % 20;
 				count += 1;
-			} or when ( count != 0 ) waitfor( remove, buffer ) {
+			} or when ( count != 0 ) waitfor( remove : buffer ) {
 				front = (front + 1) % 20;
 				count -= 1;