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 7542d238224d8f4424ba0c1ee9a9efd50599d8e1..5f2cdef5aa9cd5a1ae12cdf104406e4bb2226240 100644 (file)
--- 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;