5 Mar
2022
5 Mar
'22
3:18 p.m.
Hi Richard, here are two patches: One for push_front() / pop_front(), the other for sort(). Jan Am 05.03.22 um 12:49 schrieb Richard B. Kreckel:
Hi Jan,
Why not change the code of prepend() in container.h to use insert() instead of push_front()? Then I think it will work for all STL containers. We always welcome suggestions and we welcome patches which have been
On 04.03.22 17:54, Jan Rheinländer wrote: tried out successfully even more!
-richy. _______________________________________________ GiNaC-devel mailing list GiNaC-devel@ginac.de https://www.ginac.de/mailman/listinfo/ginac-devel