diff options
| author | Yannick Moy <moy@adacore.com> | 2020-11-27 10:13:23 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-16 08:01:00 -0500 |
| commit | c507c83b324582dc05db91d332b0de4b25c85c07 (patch) | |
| tree | 0fa15185b35a4bc6107b1f3f6f3626bba3760ebc /gcc/ada/expect.c | |
| parent | 94117322e68f29677f5a7088fc83f57e824ca8a7 (diff) | |
| download | gcc-c507c83b324582dc05db91d332b0de4b25c85c07.zip gcc-c507c83b324582dc05db91d332b0de4b25c85c07.tar.gz gcc-c507c83b324582dc05db91d332b0de4b25c85c07.tar.bz2 | |
[Ada] Mark generic body outside of SPARK
gcc/ada/
* libgnat/a-tifiio.adb: Mark body not in SPARK.
* libgnat/a-tifiio.ads: Mark spec in SPARK.
* libgnat/a-tifiio__128.adb: Mark body not in SPARK.
Diffstat (limited to 'gcc/ada/expect.c')
0 files changed, 0 insertions, 0 deletions