From 6f77df7260f6f1ce89ecb2ee82d9f40447d813bc Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Mon, 11 Sep 2017 11:48:04 +0200 Subject: [PATCH] lib-xref-spark_specific.adb: Minor rewrite. 2017-09-11 Yannick Moy * lib-xref-spark_specific.adb: Minor rewrite. From-SVN: r251967 --- gcc/ada/lib-xref-spark_specific.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.30.2