diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-12-12 11:45:24 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:00 -0400 |
| commit | a92db2624549f119a6f5c1e19c3013768b6bad3e (patch) | |
| tree | 1993d05c7b90268f5da970985d969a204eb9ecb8 /gcc/ada/contracts.adb | |
| parent | 86b14bb1a93d8ef01678d132013a2006a4f00deb (diff) | |
| download | gcc-a92db2624549f119a6f5c1e19c3013768b6bad3e.zip gcc-a92db2624549f119a6f5c1e19c3013768b6bad3e.tar.gz gcc-a92db2624549f119a6f5c1e19c3013768b6bad3e.tar.bz2 | |
[Ada] Reuse Is_Package_Or_Generic_Package where possible
2020-06-02 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* contracts.adb, einfo.adb, exp_ch9.adb, sem_ch12.adb,
sem_ch4.adb, sem_ch7.adb, sem_ch8.adb, sem_elab.adb,
sem_type.adb, sem_util.adb: Reuse Is_Package_Or_Generic_Package
where possible (similarly, reuse Is_Concurrent_Type if it was
possible in the same expressions).
Diffstat (limited to 'gcc/ada/contracts.adb')
| -rw-r--r-- | gcc/ada/contracts.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 981bb91..d58f136 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -213,7 +213,7 @@ package body Contracts is -- Initializes -- Part_Of (instantiation only) - elsif Ekind_In (Id, E_Generic_Package, E_Package) then + elsif Is_Package_Or_Generic_Package (Id) then if Nam_In (Prag_Nam, Name_Abstract_State, Name_Initial_Condition, Name_Initializes) |