diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 12:47:56 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 12:47:56 +0000 |
| commit | c40ac9aa71544a82fb44ac63a4a20dc6b37b67dd (patch) | |
| tree | f3848bfb928022bf983a63f33a0f1da48ac0aa85 /gcc/ada/sem_prag.adb | |
| parent | 2532ea8bf5c93aaaca304d6cd2e925a9b8286a70 (diff) | |
| download | gcc-c40ac9aa71544a82fb44ac63a4a20dc6b37b67dd.tar.gz | |
2014-08-04 Robert Dewar <dewar@adacore.com>
* sem_prag.adb, osint.adb, osint.ads: Minor reformatting.
2014-08-04 Yannick Moy <moy@adacore.com>
* sem_ch3.adb (Derive_Type_Declaration,
Process_Discriminants): Remove SPARK-specific legality checks.
2014-08-04 Thomas Quinot <quinot@adacore.com>
* g-sechas.ads, g-sechas.adb (HMAC_Initial_Context): New subprogram.
* gnat_rm.texi (GNAT.MD5/SHA1/SHA224/SHA256/SHA512): Document support
for HMAC.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213577 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 43ae0652517..40ce62ff471 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -19359,7 +19359,7 @@ package body Sem_Prag is elsif not Comes_From_Source (Stmt) and then (Nkind (Stmt) /= N_Subprogram_Declaration - or else No (Generic_Parent (Specification (Stmt)))) + or else No (Generic_Parent (Specification (Stmt)))) then null; |