diff options
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index f1afe32..3b79bc3 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -3158,10 +3158,8 @@ package body Inline is -- unconstrained type renaming a local variable of constrained -- type, which is not expected by GNATprove. - elsif Etype (F) /= Etype (A) - and then not GNATprove_Mode - then - New_A := Unchecked_Convert_To (Etype (F), Relocate_Node (A)); + elsif Etype (F) /= Etype (A) and then not GNATprove_Mode then + New_A := Unchecked_Convert_To (Etype (F), Relocate_Node (A)); Temp_Typ := Etype (F); else |