diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-27 11:20:01 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-27 11:20:01 +0000 |
| commit | d52da53ef326dd329d0f1fab830a749f6f757700 (patch) | |
| tree | 2fbedd7a9d3f642256700863592f57efda519a3e /gcc/ada/spark_xrefs.ads | |
| parent | 8bbeda6a68c3072043798cc96de8b072ceb8fea2 (diff) | |
| download | gcc-d52da53ef326dd329d0f1fab830a749f6f757700.tar.gz | |
2015-10-27 Arnaud Charlet <charlet@adacore.com>
* sinput.ads, spark_xrefs.ads, lib-xref.adb: Fix typos.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229417 138bc75d-0d04-0410-961f-82ee72b054a4
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 ff5fb26c2ec..9201793b242 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 |