]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39838b1) | patch
2013-10-17 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 17 Oct 2013 14:02:49 +0000 (14:02 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 17 Oct 2013 14:02:49 +0000 (14:02 +0000)
commitcb85a53b31f0570041f282d22ff6d64611774cff
treec4e24a50bbfeb879ea8d177433e14b3d5ae6b2fbtree
parent39838b15d9597b304606fd11777c11d1974110b7commit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203766 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/sem_aux.adb diff | blob | blame | history
gcc/ada/sem_aux.ads diff | blob | blame | history
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git