* this duplicate tree has been eradicated. This
* is analagous to deleting a root; we must be sure
* that we can overlay another subtree onto this slot
* at recovery redo.
*/
logManager.log(new INDupDeleteInfo
(duplicateRoot.getNodeId(),
duplicateRoot.getMainTreeKey(),
duplicateRoot.getDupTreeKey(),
database.getId()));