diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-12-12 23:19:46 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:03 -0400 |
| commit | e386872e9c949297b76172c6a7c703117f8026d0 (patch) | |
| tree | a97e9387f655d36ea74dd679cffcff6ce61bfdb7 /gcc/ada/cstreams.c | |
| parent | dab8e60838bf68a159046082607fc7a1a04329f6 (diff) | |
| download | gcc-e386872e9c949297b76172c6a7c703117f8026d0.zip gcc-e386872e9c949297b76172c6a7c703117f8026d0.tar.gz gcc-e386872e9c949297b76172c6a7c703117f8026d0.tar.bz2 | |
[Ada] Use new API when creating a special SPARK heap entity
2020-06-02 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* lib-xref-spark_specific.adb (Create_Heap): use a new variant
of Name_Enter to directly converts String to Make_Id.
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions