einfo.adb
199 KB
-
einfo.adb (Has_Pragma_Pure_Function): New flag. · 0839863c
* einfo.adb (Has_Pragma_Pure_Function): New flag. Fix problem that stopped ceinfo from working * einfo.ads (Has_Pragma_Pure_Function): New flag. * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function. From-SVN: r47614
Geert Bosch committed