diff options
| author | Yannick Moy <moy@adacore.com> | 2020-11-25 10:33:54 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-15 06:41:54 -0500 |
| commit | 1851d3cef24d4cbc3b55305c75c04a2ce9667315 (patch) | |
| tree | 5f99e938d4b73a15b464a6daaa45d42c5cc6c596 /gcc/tree-data-ref.c | |
| parent | d79e7af5ff74c714b15d0cd123752cc4714e4dc6 (diff) | |
| download | gcc-1851d3cef24d4cbc3b55305c75c04a2ce9667315.zip gcc-1851d3cef24d4cbc3b55305c75c04a2ce9667315.tar.gz gcc-1851d3cef24d4cbc3b55305c75c04a2ce9667315.tar.bz2 | |
[Ada] Mark generic body outside of SPARK
gcc/ada/
* libgnat/a-tiflio.adb: Mark body not in SPARK.
* libgnat/a-tiflio.ads: Mark spec in SPARK.
Diffstat (limited to 'gcc/tree-data-ref.c')
0 files changed, 0 insertions, 0 deletions