diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-07-30 13:48:04 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 15:48:04 +0200 |
| commit | 3aac5551307840a5063d13759922cf334db2caeb (patch) | |
| tree | d4a81b782569bcedc25fe6e5ba6e07906d83a49c /gcc/ada/inline.adb | |
| parent | 274d2584e534a5e63be48999c794e90a73d420cb (diff) | |
| download | gcc-3aac5551307840a5063d13759922cf334db2caeb.zip gcc-3aac5551307840a5063d13759922cf334db2caeb.tar.gz gcc-3aac5551307840a5063d13759922cf334db2caeb.tar.bz2 | |
exp_ch7.adb, [...]: Minor reformatting.
2014-07-30 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb, s-tataat.adb, s-tataat.ads, s-parame-vms-alpha.ads,
inline.adb, s-parame-hpux.ads, exp_smem.adb, s-tasini.adb,
s-tasini.ads, s-parame-vms-ia64.ads, s-parame.ads, s-taskin.ads,
s-parame-vxworks.ads, a-tasatt.adb, a-tasatt.ads: Minor reformatting.
* a-suenco.adb (Convert): Handle overlong encodings in UTF8-UTF8
conversion.
From-SVN: r213268
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index b2ff243..4f09958 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1698,7 +1698,7 @@ package body Inline is elsif Present (Body_Id) and then (No (SPARK_Pragma (Body_Id)) or else - Get_SPARK_Mode_From_Pragma (SPARK_Pragma (Body_Id)) /= On) + Get_SPARK_Mode_From_Pragma (SPARK_Pragma (Body_Id)) /= On) then return False; |