diff options
author | Arnaud Charlet <charlet@adacore.com> | 2015-10-27 11:20:01 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-27 12:20:01 +0100 |
commit | 3f8743e802e6927c8ea91911fd9e313137b73c50 (patch) | |
tree | 2fbedd7a9d3f642256700863592f57efda519a3e /gcc/ada/spark_xrefs.ads | |
parent | 5c12e9fbefcf47363492098361c74d7fabdf9e3a (diff) | |
download | gcc-3f8743e802e6927c8ea91911fd9e313137b73c50.zip gcc-3f8743e802e6927c8ea91911fd9e313137b73c50.tar.gz gcc-3f8743e802e6927c8ea91911fd9e313137b73c50.tar.bz2 |
sinput.ads, [...]: Fix typos.
2015-10-27 Arnaud Charlet <charlet@adacore.com>
* sinput.ads, spark_xrefs.ads, lib-xref.adb: Fix typos.
From-SVN: r229417
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
-rw-r--r-- | gcc/ada/spark_xrefs.ads | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index ff5fb26..9201793 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -34,11 +34,11 @@ with GNAT.Table; package SPARK_Xrefs is - -- SPARK cross-reference information can exist in one of two forms. In the - -- ALI file, it is represented using a text format that is described in - -- this specification. Internally it is stored using three tables - -- SPARK_Xref_Table, SPARK_Scope_Table and SPARK_File_Table, which are also - -- defined in this unit. + -- SPARK cross-reference information can exist in one of two forms. In + -- the ALI file, it is represented using a text format that is described + -- in this specification. Internally it is stored using three tables + -- SPARK_Xref_Table, SPARK_Scope_Table and SPARK_File_Table, which are + -- also defined in this unit. -- Lib.Xref.SPARK_Specific is part of the compiler. It extracts SPARK -- cross-reference information from the complete set of cross-references |