Commit 3f8743e8 by Arnaud Charlet Committed by Arnaud Charlet

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
parent 5c12e9fb
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.
......
......@@ -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;
......
......@@ -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 --
......
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment