From 8244b8034201bfb0609eaa33fe3a4a2518dfdb3d Mon Sep 17 00:00:00 2001 From: Julien Bortolussi Date: Mon, 25 Apr 2022 10:53:15 +0200 Subject: [PATCH] [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. --- gcc/ada/libgnat/a-cfdlli.ads | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) 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, -- 2.7.4