From: Yannick Moy <moy@adacore.com>
Date: Mon, 11 Sep 2017 09:48:04 +0000 (+0200)
Subject: lib-xref-spark_specific.adb: Minor rewrite.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6f77df7260f6f1ce89ecb2ee82d9f40447d813bc;p=gcc.git

lib-xref-spark_specific.adb: Minor rewrite.

2017-09-11  Yannick Moy  <moy@adacore.com>

	* lib-xref-spark_specific.adb: Minor rewrite.

From-SVN: r251967
---

diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb
index 7542d238224..5f2cdef5aa9 100644
--- a/gcc/ada/lib-xref-spark_specific.adb
+++ b/gcc/ada/lib-xref-spark_specific.adb
@@ -545,7 +545,7 @@ package body SPARK_Specific is
       begin
          return Present (E)
            and then not Is_Generic_Unit (E)
-           and then (not Can_Be_Renamed or else Renamed_Entity (E) = Empty)
+           and then (not Can_Be_Renamed or else No (Renamed_Entity (E)))
            and then Get_Scope_Num (E) /= No_Scope;
       end Is_SPARK_Scope;