[Ada] Style cleanups in new code for Pure_Barriers

2020-06-08  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_ch13.adb (All_Membership_Choices_Static): Fix style.

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 0fc8d0e65fe4cfa0f8f554fff501e94566776fae..5a954273fc4336c9f86c9c0a02627807315a7d66 100644 (file)
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -836,9 +836,11 @@ package body Sem_Ch13 is
       end if;
    end Alignment_Check_For_Size_Change;
 
-   function All_Membership_Choices_Static (Expr : Node_Id)
-     return Boolean
-   is
+   -----------------------------------
+   -- All_Membership_Choices_Static --
+   -----------------------------------
+
+   function All_Membership_Choices_Static (Expr : Node_Id) return Boolean is
       pragma Assert (Nkind (Expr) in N_Membership_Test);
    begin
       return ((Present (Right_Opnd (Expr))