From: Arnaud Charlet Date: Tue, 27 Oct 2015 11:20:01 +0000 (+0000) Subject: sinput.ads, [...]: Fix typos. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3f8743e802e6927c8ea91911fd9e313137b73c50;p=gcc.git sinput.ads, [...]: Fix typos. 2015-10-27 Arnaud Charlet * sinput.ads, spark_xrefs.ads, lib-xref.adb: Fix typos. From-SVN: r229417 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index da584a54bdb..31765e92c5a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2015-10-27 Arnaud Charlet + + * sinput.ads, spark_xrefs.ads, lib-xref.adb: Fix typos. + 2015-10-27 Pascal Obry * 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 f84a211b65e..4751cd32666 100644 --- 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 cc9554252d6..76ff65193e4 100644 --- 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 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