mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-01 15:54:17 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

[Ada] Remove contract duplication in formal doubly linked lists

Browse Source 
Remove a minor duplication in Post of a function of formal doubly linked
lists.

gcc/ada/

	* libgnat/a-cfdlli.ads (Insert): Remove the duplication.
This commit is contained in:
Julien Bortolussi 2022-04-25 10:53:15 +02:00 committed by Pierre-Marie de Rodat
parent 576b777891
commit 8244b80342
1 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/ada/libgnat/a-cfdlli.ads
View File

@ -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,