Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177192 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb
index e12dd63..ba2633b 100644 (file)
--- 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;