From: Julien Bortolussi Date: Mon, 25 Apr 2022 08:53:15 +0000 (+0200) Subject: [Ada] Remove contract duplication in formal doubly linked lists X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=8244b8034201bfb0609eaa33fe3a4a2518dfdb3d;p=platform%2Fupstream%2Fgcc.git [Ada] Remove contract duplication in formal doubly linked lists Remove a minor duplication in Post of a function of formal doubly linked lists. gcc/ada/ * libgnat/a-cfdlli.ads (Insert): Remove the duplication. --- diff --git a/gcc/ada/libgnat/a-cfdlli.ads b/gcc/ada/libgnat/a-cfdlli.ads index 521f4bf..ff7d2d8 100644 --- a/gcc/ada/libgnat/a-cfdlli.ads +++ b/gcc/ada/libgnat/a-cfdlli.ads @@ -543,15 +543,7 @@ is Lst => Length (Container), Item => New_Item)) - -- Container contains Count times New_Item at the end - - and M.Constant_Range - (Container => Model (Container), - Fst => Length (Container)'Old + 1, - Lst => Length (Container), - Item => New_Item) - - -- A Count cursors have been inserted at the end of Container + -- Count cursors have been inserted at the end of Container and P_Positions_Truncated (Positions (Container)'Old,