diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 15:52:59 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 15:52:59 +0000 |
| commit | c35b80f7de2ea1c6cf68456d29c83ded344c9aeb (patch) | |
| tree | 9b2d5bb42a50564075b89d19fe4c4bc1a063c39d | |
| parent | ba075a14839b3250c66b80546bbb13d2b21c5ab2 (diff) | |
| download | ppe42-gcc-c35b80f7de2ea1c6cf68456d29c83ded344c9aeb.tar.gz ppe42-gcc-c35b80f7de2ea1c6cf68456d29c83ded344c9aeb.zip | |
Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177192 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 e12dd6396b5..ba2633bc5a6 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; |
