projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f31d6d) | patch
[Ada] Remove obsolete reference to gigi in comment
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 28 Jan 2020 09:03:23 +0000 (10:03 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 4 Jun 2020 09:11:11 +0000 (05:11 -0400)
commita6b37ab0acd34629a41c694c0f3482c450bbd18b
treed5db32e72d0a92d5d4dd0c95a999344b610c9e5etree
parent4f31d6dbb8deafd7ab54e70eddfd931b10b3309bcommit | diff
[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.
gcc/ada/checks.adb diff | blob | history