diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-01-28 10:03:23 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-04 05:11:11 -0400 |
| commit | a6b37ab0acd34629a41c694c0f3482c450bbd18b (patch) | |
| tree | d5db32e72d0a92d5d4dd0c95a999344b610c9e5e /gcc/ada/gcc-interface/lang.opt | |
| parent | 4f31d6dbb8deafd7ab54e70eddfd931b10b3309b (diff) | |
| download | gcc-a6b37ab0acd34629a41c694c0f3482c450bbd18b.zip gcc-a6b37ab0acd34629a41c694c0f3482c450bbd18b.tar.gz gcc-a6b37ab0acd34629a41c694c0f3482c450bbd18b.tar.bz2 | |
[Ada] Remove obsolete reference to gigi in comment
2020-06-04 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* checks.adb (Generate_Discriminant_Check): Remove obsolete
comment.
Diffstat (limited to 'gcc/ada/gcc-interface/lang.opt')
0 files changed, 0 insertions, 0 deletions