Minor reformatting.

From-SVN: r177192

Minor reformatting.
From-SVN: r177192
c2d601b8 · Arnaud Charlet · 9beddc4c · c2d601b8
Commit c2d601b8 authored Aug 02, 2011 by Arnaud Charlet
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

gcc/ada/restrict.adb
+1 -1

No files found.
--- 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;