Re: Share ebo helper throughout lib

2018-07-25 Thread Jonathan Wakely
On 25/07/18 21:53 +0200, Marc Glisse wrote: On Wed, 25 Jul 2018, François Dumont wrote:     It has already been noticed that there are 2 ebo helpers in the lib. Here is a patch to use 1.     * include/bits/ebo_helper.h: New.     * include/Makefile.am: Add latter.     * include/Makefile.in: R

Re: Share ebo helper throughout lib

2018-07-25 Thread Jonathan Wakely
On 25/07/18 21:42 +0200, François Dumont wrote: Hi     It has already been noticed that there are 2 ebo helpers in the lib. Here is a patch to use 1.     * include/bits/ebo_helper.h: New.     * include/Makefile.am: Add latter.     * include/Makefile.in: Regenerate.     * include/bits/hashtab

Re: Share ebo helper throughout lib

2018-07-25 Thread Marc Glisse
On Wed, 25 Jul 2018, François Dumont wrote:     It has already been noticed that there are 2 ebo helpers in the lib. Here is a patch to use 1.     * include/bits/ebo_helper.h: New.     * include/Makefile.am: Add latter.     * include/Makefile.in: Regenerate.     * include/bits/hashtable_polic

Share ebo helper throughout lib

2018-07-25 Thread François Dumont
Hi     It has already been noticed that there are 2 ebo helpers in the lib. Here is a patch to use 1.     * include/bits/ebo_helper.h: New.     * include/Makefile.am: Add latter.     * include/Makefile.in: Regenerate.     * include/bits/hashtable_policy.h: Adapt.     * include/bits/shared_ptr