NAME
destruct - destruct an object

SYNOPSIS
void destruct(object ob)

DESCRIPTION
This function destroys the indicated object.

SEE ALSO
clone_object