<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hi Richard,</p>
<p>here are two patches: One for push_front() / pop_front(), the
other for sort().</p>
<p>Jan<br>
</p>
<div class="moz-cite-prefix">Am 05.03.22 um 12:49 schrieb Richard B.
Kreckel:<br>
</div>
<blockquote type="cite"
cite="mid:2e0c004f-c24e-8646-73c5-3644ead3fe93@in.terlu.de">
<pre class="moz-quote-pre" wrap="">Hi Jan,
On 04.03.22 17:54, Jan Rheinländer wrote:
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">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.
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
We always welcome suggestions and we welcome patches which have been
tried out successfully even more!
-richy.
_______________________________________________
GiNaC-devel mailing list
<a class="moz-txt-link-abbreviated" href="mailto:GiNaC-devel@ginac.de">GiNaC-devel@ginac.de</a>
<a class="moz-txt-link-freetext" href="https://www.ginac.de/mailman/listinfo/ginac-devel">https://www.ginac.de/mailman/listinfo/ginac-devel</a>
</pre>
</blockquote>
</body>
</html>