Index: src/Concurrency/Keywords.cc
===================================================================
--- src/Concurrency/Keywords.cc	(revision ed34540b9dafc248ba846075be2285b7a964866a)
+++ src/Concurrency/Keywords.cc	(revision 88d955ffe43ce28d89e470e34dbccad5239619ac)
@@ -501,13 +501,13 @@
 	void MutexKeyword::postvisit(StructDecl* decl) {
 
-		if( decl->name == "monitor_desc" ) {
+		if( decl->name == "monitor_desc" && decl->body ) {
 			assert( !monitor_decl );
 			monitor_decl = decl;
 		}
-		else if( decl->name == "monitor_guard_t" ) {
+		else if( decl->name == "monitor_guard_t" && decl->body ) {
 			assert( !guard_decl );
 			guard_decl = decl;
 		}
-		else if( decl->name == "monitor_dtor_guard_t" ) {
+		else if( decl->name == "monitor_dtor_guard_t" && decl->body ) {
 			assert( !dtor_guard_decl );
 			dtor_guard_decl = decl;