diff options
Diffstat (limited to 'gcc/ada/a-cforse.adb')
| -rw-r--r-- | gcc/ada/a-cforse.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/a-cforse.adb b/gcc/ada/a-cforse.adb index e120321..2b09018 100644 --- a/gcc/ada/a-cforse.adb +++ b/gcc/ada/a-cforse.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2010-2014, Free Software Foundation, Inc. -- +-- Copyright (C) 2010-2015, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -674,7 +674,7 @@ is -- Generic_Keys -- ------------------ - package body Generic_Keys is + package body Generic_Keys with SPARK_Mode => Off is ----------------------- -- Local Subprograms -- |