Index: src/Concurrency/Waitfor.cc
===================================================================
--- src/Concurrency/Waitfor.cc	(revision 07de76bb7a0e1179ac6fb9bae0cb96e709315c84)
+++ src/Concurrency/Waitfor.cc	(revision 9e63a2bb37cb0617a3e904cdba13fd4dd8830abd)
@@ -11,5 +11,5 @@
 // Last Modified By :
 // Last Modified On :
-// Update Count     : 11
+// Update Count     : 12
 //
 
@@ -42,8 +42,8 @@
 void foo() {
 	while( true ) {
-		when( a < 1 ) waitfor( f, a ) { bar(); }
+		when( a < 1 ) waitfor( f : a ) { bar(); }
 		or timeout( swagl() );
-		or waitfor( g, a ) { baz(); }
-		or waitfor( ^?{}, a ) { break; }
+		or waitfor( g : a ) { baz(); }
+		or waitfor( ^?{} : a ) { break; }
 		or waitfor( ^?{} ) { break; }
 	}