diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 15:47:39 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 15:47:39 +0000 |
| commit | 4ecb1318b5412249a2c174b89924fd3cdb7e1ec2 (patch) | |
| tree | 1c61ba45242501b4c599f20f31fce9d6bb99de5b /gcc/ada/scng.adb | |
| parent | cda81c7b01f6402830becce1bb858a63e38b3f4f (diff) | |
| download | gcc-4ecb1318b5412249a2c174b89924fd3cdb7e1ec2.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177190 138bc75d-0d04-0410-961f-82ee72b054a4
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 73b8f393dca..f0bc9de8b27 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) = '#' |