diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-10 15:27:27 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-10 15:27:27 +0000 |
| commit | b6dbc975a60f5009a6ef742d713b11317c98ce84 (patch) | |
| tree | 18f772cc26efda100ec73485971be219e84db360 /gcc/ada/ChangeLog | |
| parent | d3df88321c1369d564bf8406942b04a39b51e9a4 (diff) | |
| download | gcc-b6dbc975a60f5009a6ef742d713b11317c98ce84.tar.gz | |
2009-04-10 Thomas Quinot <quinot@adacore.com>
* exp_attr.adb: Minor reformatting
2009-04-10 Robert Dewar <dewar@adacore.com>
* sem_aux.adb: Minor reformatting
2009-04-10 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Check_Precondition_Postcondition): Within a generic,
analyze the expression for a postcondition, even if the compiler mode
is Generate_Code.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145923 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 237d756d432..97ba0a6a568 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,13 @@ +2009-04-10 Thomas Quinot <quinot@adacore.com> + + * exp_attr.adb: Minor reformatting + +2009-04-10 Ed Schonberg <schonberg@adacore.com> + + * sem_prag.adb (Check_Precondition_Postcondition): Within a generic, + analyze the expression for a postcondition, even if the compiler mode + is Generate_Code. + 2009-04-10 Robert Dewar <dewar@adacore.com> * sem_aux.adb: Minor reformatting |