Changes in src/Concurrency/Waitfor.cc [7f62b708:b81fd95]

File:

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

src/Concurrency/Waitfor.cc

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