id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
94	waitfor error message inconsistent	pabuhr	Thierry	"waitfor error message should always refer to the number of parameters not the number of arguments.

{{{
monitor M { condition e; };
int (*p)( M & mutex m1, M & m2 );
void bar( M & mutex m1, M & mutex m2 ) {
	waitfor( p, m1, m2 );
}
}}}"	defect	closed	trivial	cfa-cc	1.0	fixed