diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-07-31 09:55:16 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-31 09:55:16 +0000 |
| commit | 617709748bf6e8c9590ce8a19a20c57de53a08e2 (patch) | |
| tree | c88c359d800e7a2645ebbf4321934aafd1de0fdf /gcc/ada/usage.adb | |
| parent | e78c79ff53c9370b5438d7f8b9f7096103ee0d44 (diff) | |
| download | gcc-617709748bf6e8c9590ce8a19a20c57de53a08e2.zip gcc-617709748bf6e8c9590ce8a19a20c57de53a08e2.tar.gz gcc-617709748bf6e8c9590ce8a19a20c57de53a08e2.tar.bz2 | |
[Ada] Minor reformattings
2018-07-31 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada
* checks.adb, contracts.adb, exp_aggr.adb, exp_ch5.adb,
exp_disp.adb, make.adb, sem_ch4.adb, sem_eval.adb, sem_res.adb,
usage.adb: Minor reformatting.
From-SVN: r263089
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index cdf14cf..754e8d8 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -461,6 +461,7 @@ begin Write_Line (" I turn off checking for in params"); Write_Line (" m turn on checking for in out params"); Write_Line (" M turn off checking for in out params"); + Write_Line (" n turn off all validity checks (including RM)"); Write_Line (" o turn on checking for operators/attributes"); Write_Line (" O turn off checking for operators/attributes"); Write_Line (" p turn on checking for parameters"); @@ -471,7 +472,6 @@ begin Write_Line (" S turn off checking for subscripts"); Write_Line (" t turn on checking for tests"); Write_Line (" T turn off checking for tests"); - Write_Line (" n turn off all validity checks (including RM)"); -- Lines for -gnatw switch |