Index: src/Concurrency/Waitfor.cc
===================================================================
--- src/Concurrency/Waitfor.cc	(revision e84ab3dadc96fd4dc82b5b0bc20cfe9b14f64259)
+++ src/Concurrency/Waitfor.cc	(revision 2c7d0e83c824f1dc542abb7b2e415aacc33341d2)
@@ -244,5 +244,5 @@
 			decl_mask = decl;
 		}
-		else if( decl->name == "$monitor" ) {
+		else if( decl->name == "monitor$" ) {
 			assert( !decl_monitor );
 			decl_monitor = decl;