projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b58a06) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 17 Oct 2013 14:02:49 +0000 (16:02 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 17 Oct 2013 14:02:49 +0000 (16:02 +0200)
commit72d1b27a2ae4676e5604c6200b07bcbfb6b5ad31
treec4e24a50bbfeb879ea8d177433e14b3d5ae6b2fbtree
parent8b58a060443a7a04f2e1fa854ec2f9fac1a7ff1ccommit | diff
[multiple changes]

2013-10-17  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Is_Matching_Input): Account
for the case where a state with a null refinement appears as
the last input of a refinement clause.

2013-10-17  Robert Dewar  <dewar@adacore.com>

* sem_aux.ads, sem_aux.adb: Minor reformatting.

From-SVN: r203766
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_aux.adb diff | blob | history
gcc/ada/sem_aux.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history