diff options
author | Arnaud Charlet <charlet@adacore.com> | 2016-05-02 09:48:55 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:48:55 +0200 |
commit | eff69022b3937d69e567c2ce397af7a601d3c64b (patch) | |
tree | 3474893145e478a497050044fb0627daafc3ce65 /gcc/ada/spark_xrefs.ads | |
parent | fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0 (diff) | |
download | gcc-eff69022b3937d69e567c2ce397af7a601d3c64b.zip gcc-eff69022b3937d69e567c2ce397af7a601d3c64b.tar.gz gcc-eff69022b3937d69e567c2ce397af7a601d3c64b.tar.bz2 |
lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2016-05-02 Arnaud Charlet <charlet@adacore.com>
* lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
(Detect_And_Add_SPARK_Scope): detect and add task type scope.
(Enclosing_Subprogram_Or_Package): Respect boundaries of task
and entry declarations.
* spark_xrefs.ads: minor typo in comment.
From-SVN: r235726
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
-rw-r--r-- | gcc/ada/spark_xrefs.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index f02234f..f3bf1a3 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2011-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -133,7 +133,7 @@ package SPARK_Xrefs is -- FX dependency-number filename . entity-number entity - -- dependency-number and filename identity a file in FD lines + -- dependency-number and filename identify a file in FD lines -- entity-number and identity identify a scope entity in FS lines for -- the file previously identified. |