------------------------------------------------------------------------
r319 | mercade | 2008-01-06 18:43:59 +0100 (Sun, 06 Jan 2008) | 3 lines

Added routines query_leave_behind() and remove_split_heap() to cast the
"moved" part of a heap into the void.

------------------------------------------------------------------------
U       /std/heap.c
