id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
60	Superfluous warning for unused formal timer parameters	phdmakk	phdmakk	"Given an altstep 

{{{
	altstep a_A1 (timer p_Timer) runs on C2 {
		[] PP.receive(1) {
			p_Timer.stop;
		}
	}
}}}

T3Q raises a warning that p_Timer is never used. Upon further investigation it turns out that p_Timer in the stop statement is not resolved properly."	defect	closed	major	v2.0.0 Series	T3Q	2.0	fixed