diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-29 12:42:17 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-29 12:42:17 +0100 |
| commit | 269428bb41d535ea6c42eb5f6e9382f2f1d45dfc (patch) | |
| tree | 919c345adf1cf20ea091bae6919c55d8ce14434b /MAINTAINERS | |
| parent | 6db566c308dd9ecf9e82938d7bec32884a596e74 (diff) | |
| download | gcc-269428bb41d535ea6c42eb5f6e9382f2f1d45dfc.zip gcc-269428bb41d535ea6c42eb5f6e9382f2f1d45dfc.tar.gz gcc-269428bb41d535ea6c42eb5f6e9382f2f1d45dfc.tar.bz2 | |
[multiple changes]
2012-10-29 Thomas Quinot <quinot@adacore.com>
* xoscons.adb: Minor reformatting.
2012-10-29 Yannick Moy <moy@adacore.com>
* exp_alfa.adb (Expand_Alfa): Backtrack change that removed
qualification of names in formal verification mode. Instead,
the qualification should be modified.
* exp_dbug.adb (Qualify_Entity_Name): Modify qualification in formal
verification mode, so that only a suffix is added to distinguish
homonyms from the same scope.
From-SVN: r192940
Diffstat (limited to 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions