Index: src/Concurrency/Keywords.cc
===================================================================
--- src/Concurrency/Keywords.cc	(revision a8367ebba32a8146b290b76d772444d1ffe9c3c3)
+++ src/Concurrency/Keywords.cc	(revision 3cc11113e36bd5d3d127b0782777b020f59fc62e)
@@ -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();