diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-04-15 18:00:52 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-29 14:23:48 +0000 |
| commit | 38b57d67e85df1636c5e4300defe337e28878412 (patch) | |
| tree | 199b4f7651d54181f9b90cc1b12c3e4b1dc45f00 /gcc/gcc.c | |
| parent | 339bf0a2a972fe0655dfa3b6508312e748d4fbcc (diff) | |
| download | gcc-38b57d67e85df1636c5e4300defe337e28878412.zip gcc-38b57d67e85df1636c5e4300defe337e28878412.tar.gz gcc-38b57d67e85df1636c5e4300defe337e28878412.tar.bz2 | |
[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK
gcc/ada/
* errout.ads (Adjust_Name_Case): Remove obsolete and now unused
variant.
* errout.adb (Adjust_Name_Case): Likewise; fix variant that uses
a custom buffer to also use it for names in Standard_Location.
Diffstat (limited to 'gcc/gcc.c')
0 files changed, 0 insertions, 0 deletions