diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-29 11:42:17 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-29 11:42:17 +0000 |
| commit | ce73accb7f8da21f3726b9adfaaf1fee7b073490 (patch) | |
| tree | 919c345adf1cf20ea091bae6919c55d8ce14434b /libjava/classpath/java/sql | |
| parent | 96f971b264ac08da84b7ee420bea71f4ca8a4292 (diff) | |
| download | ppe42-gcc-ce73accb7f8da21f3726b9adfaaf1fee7b073490.tar.gz ppe42-gcc-ce73accb7f8da21f3726b9adfaaf1fee7b073490.zip | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192940 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/sql')
0 files changed, 0 insertions, 0 deletions
