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

File:

• src/Concurrency/Waitfor.cc (modified) (1 diff)

src/Concurrency/Waitfor.cc

@@ -244 +244 @@
                         decl_mask = decl;
                 }
-                else if( decl->name == "monitor_desc" ) {
+                else if( decl->name == "$monitor" ) {
                         assert( !decl_monitor );
                         decl_monitor = decl;