[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK
Pierre-Marie de Rodat
Wed Jun 30 09:30:46 GMT 2021
GNATprove no longer calls an obsolete variant of Adjust_Name_Case that
uses a global buffer.
Tested on x86_64-pc-linux-gnu, committed on trunk
* errout.ads (Adjust_Name_Case): Remove obsolete and now unused
* errout.adb (Adjust_Name_Case): Likewise; fix variant that uses
a custom buffer to also use it for names in Standard_Location.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1323 bytes
Desc: not available
More information about the Gcc-patches