diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 14:38:24 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 14:38:24 +0200 |
| commit | 7738270b0ceda07f89c1dd2d75e31ae7bb4f2053 (patch) | |
| tree | 48a728f8d6b7f74f502ff87995064330d1bcdc13 /gcc/ada/gnatxref.adb | |
| parent | e4b1cd76560d70923fbcbc52b2be32e4c760ba49 (diff) | |
| download | gcc-7738270b0ceda07f89c1dd2d75e31ae7bb4f2053.zip gcc-7738270b0ceda07f89c1dd2d75e31ae7bb4f2053.tar.gz gcc-7738270b0ceda07f89c1dd2d75e31ae7bb4f2053.tar.bz2 | |
[multiple changes]
2017-04-25 Yannick Moy <moy@adacore.com>
* freeze.adb (Freeze_Record_Type): Remove obsolete
rule on volatile tagged record restriction on SPARK code.
2017-04-25 Yannick Moy <moy@adacore.com>
* sem_prag.adb (minor) Fix SPARK RM reference.
2017-04-25 Yannick Moy <moy@adacore.com>
* sem_util.adb, sem_util.ads (Unique_Defining_Entity): Update
comment to reflect which entity is chosen as unique entity.
(Unique_Entity): Return full view instead of private spec for
protected type or task type. Fix possible incorrect access when
called on entry.
2017-04-25 Eric Botcazou <ebotcazou@adacore.com>
* sem_res.adb (Set_Slice_Subtype): Treat specially bit-packed
array types only instead of all packed array types.
2017-04-25 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Conforming_Types): If type of formal as a specified
dimension system, verify that dimensions of both match.
(Check_Conformance): Add error message in case of dimension
mismatch.
* sem_dim.ads, sem_dim.adb (Dimensions_Match): New utility
predicate.
2017-04-25 Arnaud Charlet <charlet@adacore.com trojanek>
* gnatxref.adb, gnatfind.adb: Avoid using the term project file,
confusing.
From-SVN: r247212
Diffstat (limited to 'gcc/ada/gnatxref.adb')
| -rw-r--r-- | gcc/ada/gnatxref.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/gnatxref.adb b/gcc/ada/gnatxref.adb index 7d2ec9c..c24fd49 100644 --- a/gcc/ada/gnatxref.adb +++ b/gcc/ada/gnatxref.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1998-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1998-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -278,7 +278,7 @@ procedure Gnatxref is Put_Line (" --ext=xxx Specify alternate ali file extension"); Put_Line (" --RTS=dir specify the default source and object search" & " path"); - Put_Line (" -p file Use file as the default project file"); + Put_Line (" -p file Use file as the configuration file"); Put_Line (" -u List unused entities"); Put_Line (" -v Print a 'tags' file for vi"); New_Line; |