projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b6a7ef) | patch
[Ada] Fix comment of Get_Iterable_Type_Primitive
authorPiotr Trojanek <trojanek@adacore.com>
Sat, 11 Apr 2020 11:04:31 +0000 (13:04 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 17 Jun 2020 08:14:10 +0000 (04:14 -0400)
commitc3a2dc654c8e9474dbf0de2da168cd7816eae813
tree941cafbf4260e08c2b71200823cdebc3c81adcb7tree | snapshot
parent7b6a7ef8ad0e180b2f12b2a1535b31d0acc83f1ccommit | diff
[Ada] Fix comment of Get_Iterable_Type_Primitive

2020-06-17  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_util.ads, sem_util.adb (Get_Iterable_Type_Primitive): Fix
comment and enforce it with an assertion in the body.
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history
Domain: System / Toolchain;