diff options
| author | Yannick Moy <moy@adacore.com> | 2017-09-11 11:48:04 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-11 11:48:04 +0200 |
| commit | 6f77df7260f6f1ce89ecb2ee82d9f40447d813bc (patch) | |
| tree | f59db1274dd9c7adf8e217b13ae5f80609137d0f /gcc | |
| parent | 6daeb15669022d485730515e89732f6e89c42bb1 (diff) | |
| download | gcc-6f77df7260f6f1ce89ecb2ee82d9f40447d813bc.zip gcc-6f77df7260f6f1ce89ecb2ee82d9f40447d813bc.tar.gz gcc-6f77df7260f6f1ce89ecb2ee82d9f40447d813bc.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 7542d23..5f2cdef 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; |