| commit | 5b560170323869f7d8406da6c985b0d21b2f7ef3 | [log] [tgz] |
|---|---|---|
| author | Piotr Trojanek <trojanek@adacore.com> | Thu Jun 02 15:10:46 2022 +0200 |
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | Tue Jul 05 08:28:16 2022 +0000 |
| tree | f9873b4a07881b9e756bf898970aecd3a221caae | |
| parent | fee24d5cae0661a8e165b752b4d890a3fd02205c [diff] |
[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.