diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-08-26 14:20:20 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-23 04:24:41 -0400 |
| commit | 4d4ba374a73b226dc16af7190c688728f3e5d2c5 (patch) | |
| tree | 5f0402385166b88a2884786830ae69c5e04f47fd /gcc/ada/sinfo.adb | |
| parent | 846744902e122804242af2cb9f6c6828e887cdf9 (diff) | |
| download | gcc-4d4ba374a73b226dc16af7190c688728f3e5d2c5.zip gcc-4d4ba374a73b226dc16af7190c688728f3e5d2c5.tar.gz gcc-4d4ba374a73b226dc16af7190c688728f3e5d2c5.tar.bz2 | |
[Ada] Sync code for external properties with SPARK RM
gcc/ada/
* sem_prag.adb (Check_External_Properties): Rewrite to match the
SPARK RM description.
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions