[m-rev.] for review: priority search queue ADT

[Paul Bone]

On Thu, Nov 27, 2014 at 07:52:23PM +1100, Julien Fischer wrote:
> Hi
> 
> On Thu, Nov 27, 2014 at 7:49 PM, Zoltan Somogyi <zoltan.somogyi at runbox.com>
> wrote:
> 
> >
> >
> > On Thu, 27 Nov 2014 09:03:00 +0100, Matthias Guedemann <
> > matthias at guedemann.org> wrote:
> > > in my opinion, Julien's proposal to use 'remove_min' is a good idea.
> >
> > Minor nit: shouldn't that be remove_least, since the (several) library
> > modules that implement sets use that name?
> >
> 
> Yes, you're right it should be remove_least.
> 

Thanks everyone.  I'm happy with that solution.

-- 
Paul Bone