diff options
| author | Claire Dross <dross@adacore.com> | 2024-10-10 16:51:13 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-04 16:57:56 +0100 |
| commit | 010cf71da79f001e40a29aa4ebef27e5dbf7fce8 (patch) | |
| tree | d0b374487a33fe161441b61de303af18de14f6a2 /gcc/dwarf2codeview.cc | |
| parent | e009d0c215ccbb22d681e8feb372aa5f27c15f88 (diff) | |
| download | gcc-010cf71da79f001e40a29aa4ebef27e5dbf7fce8.zip gcc-010cf71da79f001e40a29aa4ebef27e5dbf7fce8.tar.gz gcc-010cf71da79f001e40a29aa4ebef27e5dbf7fce8.tar.bz2 | |
ada: Move formal hash tables from gnat repository to the SPARK library
The formal containers have been part of the SPARK library for some
time now. However, some units used only by these containers are still
part of the gnat repository. Move them to the SPARK library.
gcc/ada/ChangeLog:
* Makefile.rtl: Remove references to moved units.
* libgnat/a-chtgfk.adb: Removed.
* libgnat/a-chtgfk.ads: Removed.
* libgnat/a-chtgfo.adb: Removed.
* libgnat/a-chtgfo.ads: Removed.
* libgnat/a-cohata.ads (Generic_Formal_Hash_Table_Types): Removed.
Diffstat (limited to 'gcc/dwarf2codeview.cc')
0 files changed, 0 insertions, 0 deletions