Index: src/Concurrency/Keywords.cc
===================================================================
--- src/Concurrency/Keywords.cc	(revision a8367ebba32a8146b290b76d772444d1ffe9c3c3)
+++ src/Concurrency/Keywords.cc	(revision d3605f8b23383df7dd28db382d22350cf8eb7e71)
@@ -979,4 +979,5 @@
 			// If this is the destructor for a monitor it must be mutex
 			if(isDtor) {
+				// This reflects MutexKeyword::validate, except does not produce an error.
 				Type* ty = decl->get_functionType()->get_parameters().front()->get_type();