Changes made to bug 237

This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Who	When	What	Removed	Added
behrmann	2005-12-07 11:00:24 CET	Status	NEW	ASSIGNED
behrmann	2005-12-07 14:17:01 CET	Severity	minor	normal
		Priority	P2	P1
		Summary	Bad error reporting	Missing type check of array index
behrmann	2005-12-07 14:42:34 CET	Status	ASSIGNED	RESOLVED
behrmann	2005-12-07 14:42:34 CET	Resolution	---	FIXED

Back to bug 237