Minor reformatting.

From-SVN: r177192

diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb
index e12dd6396b58b1c6b30fbf5a2990a8519bfbc8df..ba2633bc5a6a34d699251f62486309e7f9ad1065 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;