# File lib/facet/heap.rb, line 140
  def pop
    raise EmptyHeapException if @heap_size < 1
    @heap_size -= 1
    top, @array[0] = @array[0], @array[@heap_size]
    heapify(0)
    top
  end