diff options
| author | Julien Bortolussi <bortolussi@adacore.com> | 2022-04-25 10:53:15 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-30 08:29:05 +0000 |
| commit | 8244b8034201bfb0609eaa33fe3a4a2518dfdb3d (patch) | |
| tree | 6e4de5f0f3b857b2b9490082fb0249c5b6e2ba27 /gcc | |
| parent | 576b7778915c1e2da8d50c8f24c5c9b5282eac5f (diff) | |
| download | gcc-8244b8034201bfb0609eaa33fe3a4a2518dfdb3d.zip gcc-8244b8034201bfb0609eaa33fe3a4a2518dfdb3d.tar.gz gcc-8244b8034201bfb0609eaa33fe3a4a2518dfdb3d.tar.bz2 | |
[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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/libgnat/a-cfdlli.ads | 10 |
1 files changed, 1 insertions, 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, |