]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab47663) | patch
a-coinho.adb, [...]: Fix parameter mode of Update_Element.
authorVadim Godunko <godunko@adacore.com>
Wed, 16 Jul 2014 13:54:43 +0000 (13:54 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 16 Jul 2014 13:54:43 +0000 (15:54 +0200)
commitd6f824bf7f4d82ab9b96b31d56b88fa1f2b1f166
treef6bfc8dab307680ebe52f664381a3dba252ec556tree | snapshot
parentab4766388256f3a8b070872bd0af94056afb5417commit | diff
a-coinho.adb, [...]: Fix parameter mode of Update_Element.

2014-07-16  Vadim Godunko  <godunko@adacore.com>

* a-coinho.adb, a-coinho-shared.adb, a-coinho.ads, a-coinho-shared.ads:
Fix parameter mode of Update_Element.

From-SVN: r212644
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/a-coinho-shared.adb diff | blob | blame | history
gcc/ada/a-coinho-shared.ads diff | blob | blame | history
gcc/ada/a-coinho.adb diff | blob | blame | history
gcc/ada/a-coinho.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git