From 45a6947d0f40ca6bfebd430969087e0595c47cb8 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 8 Nov 2017 16:25:03 +0000 Subject: spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity. 2017-11-08 Piotr Trojanek * 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 --- gcc/ada/spark_xrefs.ads | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/ada/spark_xrefs.ads') diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index 7ac0901..c5604fd 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -109,8 +109,8 @@ package SPARK_Xrefs is -- determined. type SPARK_Scope_Record is record - Scope_Id : Entity_Id; - -- Pointer to scope name in ALI file + Entity : Entity_Id; + -- Entity that is represented by the scope File_Num : Nat; -- Set to the file dependency number for the scope -- cgit v1.1