This patch handles the new format generated by gnatelim for pragma Eliminate.

Tested on x86_64-pc-linux-gnu, committed on trunk

2009-04-29  Ed Schonberg  <schonberg@adacore.com>

	* sem_elim.adb (Check_Eliminated): Handle new improved eliminate
	information: no need for full scope check.
	(Eliminate_Error): Do not emit error in a generic context.