empty range in pop_heap

[Marc Glisse]

On Sat, 12 Nov 2011, Markus Trippelsdorf wrote:

> Shouldn't "pop_heap (v.begin (), v.begin ())" be allowed?

[pop.heap]
"Requires: The range [first,last) shall be a valid non-empty heap."

-- 
Marc Glisse