diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 11:38:54 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 11:38:54 +0100 |
| commit | 4f324de225b3f282bece2f27344ee2767bac81d1 (patch) | |
| tree | ca4aa9e43d3c9b75b3a2a40c8070a6bc49ed2d90 /gcc/ada/inline.adb | |
| parent | f68fc405bb5b38c545498c4a1dba203e51dade32 (diff) | |
| download | gcc-4f324de225b3f282bece2f27344ee2767bac81d1.zip gcc-4f324de225b3f282bece2f27344ee2767bac81d1.tar.gz gcc-4f324de225b3f282bece2f27344ee2767bac81d1.tar.bz2 | |
Minor reformatting.
From-SVN: r244700
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 |