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