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