diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-08-21 08:31:16 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-21 08:31:16 +0000 |
| commit | 7c2a44aebbdcbd1c250b99541b25afd1dfcb60e8 (patch) | |
| tree | f6bea5cc420adda8a3c07a02745a0c8d189c69f7 /gcc/ada/sem_spark.adb | |
| parent | 0728477991b0a10cdde60ca1b4ae39fce414041a (diff) | |
| download | gcc-7c2a44aebbdcbd1c250b99541b25afd1dfcb60e8.zip gcc-7c2a44aebbdcbd1c250b99541b25afd1dfcb60e8.tar.gz gcc-7c2a44aebbdcbd1c250b99541b25afd1dfcb60e8.tar.bz2 | |
[Ada] Minor refactorings/reformattings
2019-08-21 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* einfo.adb (Is_Discriminal): Remove extra parens.
(Is_Constant_Object): Simplify by reusing Ekind_In.
(Is_Prival): Remove extra parens.
* checks.adb, exp_ch4.adb, sem_ch3.adb, sem_spark.adb: Minor
reformattings.
From-SVN: r274790
Diffstat (limited to 'gcc/ada/sem_spark.adb')
| -rw-r--r-- | gcc/ada/sem_spark.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_spark.adb b/gcc/ada/sem_spark.adb index aea5214..038c7cd 100644 --- a/gcc/ada/sem_spark.adb +++ b/gcc/ada/sem_spark.adb @@ -3092,7 +3092,7 @@ package body Sem_SPARK is -- Postconditions are checked for correct use of 'Old, but starting -- from the corresponding declaration, in order to avoid dealing with - -- with contracts on generic subprograms, which are not handled in + -- with contracts on generic subprograms which are not handled in -- GNATprove. when Pragma_Precondition |