Index: src/Concurrency/Waitfor.cc
===================================================================
--- src/Concurrency/Waitfor.cc	(revision 4a063dfa08e50f0e360b8e39bf15176d669edb86)
+++ src/Concurrency/Waitfor.cc	(revision cca568e32a0a35aff9eb80fa5e403e3d338d349e)
@@ -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; }
 	}