diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:47:39 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:47:39 +0200 |
| commit | 0580d8070754fa3ce59081f3906d9a4f2201757c (patch) | |
| tree | 1c61ba45242501b4c599f20f31fce9d6bb99de5b /gcc/ada/scng.adb | |
| parent | b191a12525973bac726397a591bbd636dc465e07 (diff) | |
| download | gcc-0580d8070754fa3ce59081f3906d9a4f2201757c.zip gcc-0580d8070754fa3ce59081f3906d9a4f2201757c.tar.gz gcc-0580d8070754fa3ce59081f3906d9a4f2201757c.tar.bz2 | |
[multiple changes]
2011-08-02 Robert Dewar <dewar@adacore.com>
* a-direct.adb, sinfo.ads, exp_ch9.adb, scng.adb, sem_util.adb,
sem_util.ads, restrict.ads, par-prag.adb: Minor reformatting and/or
code reorganization.
2011-08-02 Robert Dewar <dewar@adacore.com>
* debug.adb: Debug flag d.P to suppress length comparison optimization
* exp_ch4.adb (Optimize_Length_Comparison): New routine to optimize
comparison of Length by comparing First/Last instead.
2011-08-02 Matthew Heaney <heaney@adacore.com>
* a-cobove.ads: Code clean up.
From-SVN: r177190
Diffstat (limited to 'gcc/ada/scng.adb')
| -rw-r--r-- | gcc/ada/scng.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/scng.adb b/gcc/ada/scng.adb index 73b8f39..f0bc9de 100644 --- a/gcc/ada/scng.adb +++ b/gcc/ada/scng.adb @@ -1764,8 +1764,8 @@ package body Scng is return; end if; - -- Generate a token Tok_SPARK_Hide for a SPARK HIDE directive - -- only if the SPARK restriction is set for this unit. + -- If the SPARK restriction is set for this unit, then generate + -- a token Tok_SPARK_Hide for a SPARK HIDE directive. if Restriction_Check_Required (SPARK) and then Source (Start_Of_Comment) = '#' |