From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Tue, 2 Aug 2011 15:52:59 +0000 (+0200)
Subject: Minor reformatting.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c2d601b81415353bc099b15095eed430a18af2d3;p=gcc.git

Minor reformatting.

From-SVN: r177192
---

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;