sem_prag.adb
1.09 MB
The source could not be displayed because it is larger than 1 MB.
You can
load it anyway or download it
instead.
-
[Ada] SPARK: minor error message enhancement · 1899cb682018-09-26 Elisa Barboni <barboni@adacore.com> gcc/ada/ * sem_prag.adb (Check_Refined_Global_Item): Improve error message. From-SVN: r264637
Elisa Barboni committed