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 e12dd6396b58..ba2633bc5a6a 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;
--
GitLab