From 08613129bb18b932e8c1108fca1c8e4e39a24e38 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 29 Nov 2021 13:21:04 +0100 Subject: [Ada] Remove extra space in parameter associations gcc/ada/ * exp_aggr.adb (Two_Pass_Aggregate_Expansion): Fix whitespace. * libgnat/a-cofuve.ads (Add): Likewise. * sem_ch3.adb (Build_Access_Subprogram_Wrapper): Likewise. --- gcc/ada/libgnat/a-cofuve.ads | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc/ada/libgnat') diff --git a/gcc/ada/libgnat/a-cofuve.ads b/gcc/ada/libgnat/a-cofuve.ads index ee52730..b9af5ca 100644 --- a/gcc/ada/libgnat/a-cofuve.ads +++ b/gcc/ada/libgnat/a-cofuve.ads @@ -303,7 +303,7 @@ package Ada.Containers.Functional_Vectors with SPARK_Mode is and then Get (Add'Result, Position) = New_Item and then Range_Equal (Left => Container, - Right => Add'Result, + Right => Add'Result, Fst => Index_Type'First, Lst => Index_Type'Pred (Position)) and then Range_Shifted -- cgit v1.1