Changes in src/Concurrency/Waitfor.cc [cca568e:07de76b]

File:

• src/Concurrency/Waitfor.cc (modified) (2 diffs)

src/Concurrency/Waitfor.cc

@@ -11 +11 @@
 // Last Modified By :
 // Last Modified On :
-// Update Count     : 12
+// Update Count     : 11
 //
 
@@ -42 +42 @@
 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; }
         }