diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:52:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:52:59 +0200 |
| commit | c2d601b81415353bc099b15095eed430a18af2d3 (patch) | |
| tree | 9b2d5bb42a50564075b89d19fe4c4bc1a063c39d /gcc/ada/restrict.adb | |
| parent | 9beddc4c27cb450631b90236ea03832afc381a89 (diff) | |
| download | gcc-c2d601b81415353bc099b15095eed430a18af2d3.zip gcc-c2d601b81415353bc099b15095eed430a18af2d3.tar.gz gcc-c2d601b81415353bc099b15095eed430a18af2d3.tar.bz2 | |
Minor reformatting.
From-SVN: r177192
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index e12dd63..ba2633b 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -570,7 +570,7 @@ package body Restrict is for J in SPARK_Hides.First .. SPARK_Hides.Last loop if SPARK_Hides.Table (J).Start <= Loc - and then Loc <= SPARK_Hides.Table (J).Stop + and then Loc < SPARK_Hides.Table (J).Stop then return True; end if; |