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