From c2d601b81415353bc099b15095eed430a18af2d3 Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Tue, 2 Aug 2011 17:52:59 +0200
Subject: [PATCH] Minor reformatting.

From-SVN: r177192
---
 gcc/ada/restrict.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.30.2