]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 339bf0a) | patch
[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 15 Apr 2021 16:00:52 +0000 (18:00 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 29 Jun 2021 14:23:48 +0000 (14:23 +0000)
commit38b57d67e85df1636c5e4300defe337e28878412
tree199b4f7651d54181f9b90cc1b12c3e4b1dc45f00tree
parent339bf0a2a972fe0655dfa3b6508312e748d4fbcccommit | diff
[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.
gcc/ada/errout.adb diff | blob | blame | history
gcc/ada/errout.ads diff | blob | blame | history
GNU Compiler Collection
This page took 0.061478 seconds and 5 git commands to generate.