diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-06-02 15:10:46 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-05 08:28:16 +0000 |
| commit | 5b560170323869f7d8406da6c985b0d21b2f7ef3 (patch) | |
| tree | f9873b4a07881b9e756bf898970aecd3a221caae /gcc/ada/sem_ch5.adb | |
| parent | fee24d5cae0661a8e165b752b4d890a3fd02205c (diff) | |
| download | gcc-5b560170323869f7d8406da6c985b0d21b2f7ef3.zip gcc-5b560170323869f7d8406da6c985b0d21b2f7ef3.tar.gz gcc-5b560170323869f7d8406da6c985b0d21b2f7ef3.tar.bz2 | |
[Ada] Remove comment about a long gone formal verification mode
Remove outdated a comment about the very first SPARK experiments
in GNAT.
gcc/ada/
* sem_ch6.adb (Check_Missing_Return): Remove outdated comment.
Diffstat (limited to 'gcc/ada/sem_ch5.adb')
0 files changed, 0 insertions, 0 deletions