From c40ac9aa71544a82fb44ac63a4a20dc6b37b67dd Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 4 Aug 2014 12:47:56 +0000 Subject: 2014-08-04 Robert Dewar * sem_prag.adb, osint.adb, osint.ads: Minor reformatting. 2014-08-04 Yannick Moy * sem_ch3.adb (Derive_Type_Declaration, Process_Discriminants): Remove SPARK-specific legality checks. 2014-08-04 Thomas Quinot * 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 --- gcc/ada/sem_prag.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc/ada/sem_prag.adb') 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; -- cgit v1.2.1