projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 017d237) | patch
sem_prag.adb: Revert unwanted change in previous commit, only keep message fix.
authorArnaud Charlet <charlet@adacore.com>
Wed, 22 Jun 2016 10:51:37 +0000 (10:51 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 22 Jun 2016 10:51:37 +0000 (12:51 +0200)
commitd13ecc2dc757d4fd1db97741aaa3f44e5aa1766d
tree92c6eb71f663dcaf3389f2ef6344aee43f244e2btree
parent017d237edea10a76df68065e0be70be518b68217commit | diff
sem_prag.adb: Revert unwanted change in previous commit, only keep message fix.

2016-06-22  Arnaud Charlet  <charlet@adacore.com>

* sem_prag.adb: Revert unwanted change in previous commit,
only keep message fix.

From-SVN: r237699
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history