projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 576b777) | patch
[Ada] Remove contract duplication in formal doubly linked lists
authorJulien Bortolussi <bortolussi@adacore.com>
Mon, 25 Apr 2022 08:53:15 +0000 (10:53 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 30 May 2022 08:29:05 +0000 (08:29 +0000)
commit8244b8034201bfb0609eaa33fe3a4a2518dfdb3d
tree6e4de5f0f3b857b2b9490082fb0249c5b6e2ba27tree | snapshot
parent576b7778915c1e2da8d50c8f24c5c9b5282eac5fcommit | diff
[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 diff | blob | history
Domain: System / Toolchain;