From 4f324de225b3f282bece2f27344ee2767bac81d1 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 20 Jan 2017 11:38:54 +0100 Subject: Minor reformatting. From-SVN: r244700 --- gcc/ada/inline.adb | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'gcc/ada/inline.adb') 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 -- cgit v1.1