diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2017-11-08 16:25:03 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:25:03 +0000 |
| commit | 45a6947d0f40ca6bfebd430969087e0595c47cb8 (patch) | |
| tree | f9f53f4e847c46d6ec4177d393c7bf8d0c6b62a8 /gcc/ada/spark_xrefs.adb | |
| parent | 00b3de222b3bc8eff6fb95219d7aa963b7fd277d (diff) | |
| download | gcc-45a6947d0f40ca6bfebd430969087e0595c47cb8.zip gcc-45a6947d0f40ca6bfebd430969087e0595c47cb8.tar.gz gcc-45a6947d0f40ca6bfebd430969087e0595c47cb8.tar.bz2 | |
spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to
Entity.
* lib-xref-spark_specific.adb, spark_xrefs.adb: Propagate renaming of
the Scope_Id record component.
From-SVN: r254542
Diffstat (limited to 'gcc/ada/spark_xrefs.adb')
| -rw-r--r-- | gcc/ada/spark_xrefs.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/spark_xrefs.adb b/gcc/ada/spark_xrefs.adb index 9461c96..6c7dc0c 100644 --- a/gcc/ada/spark_xrefs.adb +++ b/gcc/ada/spark_xrefs.adb @@ -75,7 +75,7 @@ package body SPARK_Xrefs is Write_Int (Int (ASR.Scope_Num)); Write_Str (" Scope_Name = """); - Write_Str (Unique_Name (ASR.Scope_Id)); + Write_Str (Unique_Name (ASR.Entity)); Write_Char ('"'); Write_Str (" From = "); |