diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-01-21 07:54:56 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 08:54:56 +0100 |
| commit | 77a2f3df910f3b32cb0cbc3b6967c229d5680272 (patch) | |
| tree | f71da796d9a3d34f4f69cc3d0f65b97a32e0baf2 /gcc/ada/usage.adb | |
| parent | 5f0c4d67184452807f37ee04a2edd95967c5e26c (diff) | |
| download | gcc-77a2f3df910f3b32cb0cbc3b6967c229d5680272.zip gcc-77a2f3df910f3b32cb0cbc3b6967c229d5680272.tar.gz gcc-77a2f3df910f3b32cb0cbc3b6967c229d5680272.tar.bz2 | |
switch-c.adb, [...]: Minor reformatting.
2014-01-21 Robert Dewar <dewar@adacore.com>
* switch-c.adb, usage.adb, atree.adb, atree.ads: Minor reformatting.
From-SVN: r206872
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index bfa31cb..15215a3 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -236,12 +236,10 @@ begin Write_Switch_Char ("eP"); Write_Line ("Pure/Prelaborate errors generate warnings rather than errors"); - if GNATprove_Mode then - -- Line for -gnates switch + -- Line for -gnates switch - Write_Switch_Char ("es=?"); - Write_Line ("Specify extra switches for gnat2why"); - end if; + Write_Switch_Char ("es=?"); + Write_Line ("Specify extra switches for gnat2why"); -- Line for -gnateS switch |