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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index da584a54bdb5e6101af04d1f3fe20a9539bd9470..31765e92c5a34eb9ca12a8cf18d504dba86bedae 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2015-10-27  Arnaud Charlet  <charlet@adacore.com>
+
+       * sinput.ads, spark_xrefs.ads, lib-xref.adb: Fix typos.
+
 2015-10-27  Pascal Obry  <obry@adacore.com>
 
        * a-dirval-mingw.adb: Remove some characters from Invalid_Character set.

diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb
index f84a211b65ea3437ae2fdfbf2269bd0170bfb255..4751cd326663a92bd4f4e8d4c00038af779325d3 100644 (file)
--- a/gcc/ada/lib-xref.adb
+++ b/gcc/ada/lib-xref.adb
@@ -192,7 +192,7 @@ package body Lib.Xref is
          Set_Has_Xref_Entry (Key.Ent);
 
       --  It was already in Xref_Set, so throw away the tentatively-added
-      --  entry
+      --  entry.
 
       else
          Xrefs.Decrement_Last;

diff --git a/gcc/ada/sinput.ads b/gcc/ada/sinput.ads
index cc9554252d611d6d2294488f00266a274e22fc32..76ff65193e425d4c30cae67622a3bc92b3d4289f 100644 (file)
--- a/gcc/ada/sinput.ads
+++ b/gcc/ada/sinput.ads
@@ -136,7 +136,7 @@ package Sinput is
 
    --  The licensing status is determined either by the presence of a
    --  specific pragma License, or by scanning the header for a predefined
-   --  file, or any file if compiling in -gnatg mode.
+   --  statement, or any file if compiling in -gnatg mode.
 
    -----------------------
    -- Source File Table --

diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads
index ff5fb26c2ecf38c2277963b8064d0e61a5739018..9201793b242382bb15a96384413575fa871b9974 100644 (file)
--- 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