diff options
author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 17:10:05 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 17:10:05 +0000 |
commit | 76b37a56d234f98a8f30c9e22f24cb02edb75e23 (patch) | |
tree | 88c4d1a1a5730efdfa3a0187fdb1a89fcd4b48ed /gcc/ada/spark_xrefs.ads | |
parent | ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66 (diff) | |
download | gcc-76b37a56d234f98a8f30c9e22f24cb02edb75e23.zip gcc-76b37a56d234f98a8f30c9e22f24cb02edb75e23.tar.gz gcc-76b37a56d234f98a8f30c9e22f24cb02edb75e23.tar.bz2 |
[multiple changes]
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Scope_Record): Remove File_Num component.
* lib-xref-spark_specific.adb (Add_SPARK_Scope): Skip initialization of
removed component.
2017-11-08 Gary Dismukes <dismukes@adacore.com>
* sem_ch4.adb: Minor typo fix.
From-SVN: r254546
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
-rw-r--r-- | gcc/ada/spark_xrefs.ads | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index a5d3373..df1d8e89 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -104,11 +104,8 @@ package SPARK_Xrefs is Entity : Entity_Id; -- Entity that is represented by the scope - File_Num : Nat; - -- Set to the file dependency number for the scope - Scope_Num : Pos; - -- Set to the scope number for the scope + -- Set to the scope number within the enclosing unit From_Xref : Xref_Index; -- Starting index in Xref table for this scope |