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 /gcc/ada/xoscons.adb | |
| 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 'gcc/ada/xoscons.adb')
| -rw-r--r-- | gcc/ada/xoscons.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/xoscons.adb b/gcc/ada/xoscons.adb index 4c58eba..fc78205 100644 --- a/gcc/ada/xoscons.adb +++ b/gcc/ada/xoscons.adb @@ -314,8 +314,8 @@ procedure XOSCons is (S : String; K : Asm_Int_Kind) return Int_Value_Type is - First : Integer := S'First; - Result : Int_Value_Type; + First : Integer := S'First; + Result : Int_Value_Type; begin -- On some platforms, immediate integer values are prefixed with |