diff options
Diffstat (limited to 'gcc/ada/expander.adb')
| -rw-r--r-- | gcc/ada/expander.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/expander.adb b/gcc/ada/expander.adb index aac2e7d..b8e86b8 100644 --- a/gcc/ada/expander.adb +++ b/gcc/ada/expander.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2019, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2020, 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- -- @@ -545,10 +545,10 @@ package body Expander is procedure Expander_Mode_Restore is begin - -- Not active (has no effect) in ASIS and GNATprove modes (see comments + -- Not active (has no effect) in GNATprove mode (see comments -- in spec of Expander_Mode_Save_And_Set). - if ASIS_Mode or GNATprove_Mode then + if GNATprove_Mode then return; end if; @@ -572,10 +572,10 @@ package body Expander is procedure Expander_Mode_Save_And_Set (Status : Boolean) is begin - -- Not active (has no effect) in ASIS and GNATprove modes (see comments + -- Not active (has no effect) in GNATprove modes (see comments -- in spec of Expander_Mode_Save_And_Set). - if ASIS_Mode or GNATprove_Mode then + if GNATprove_Mode then return; end if; |