a-cofuma.ads
13.1 KB
-
[Ada] Add Remove primitive on functional maps · 994e33d2
A primitive for removing a mapping from a functional map has been added. 2019-09-17 Claire Dross <dross@adacore.com> gcc/ada/ * libgnat/a-cofuma.ads, libgnat/a-cofuma.adb (Remove): New function which returns a copy of the input container without a given mapping. From-SVN: r275797
Claire Dross committed