del_gate

ECO command. Delete gate
Usage: del_gate($inst);
$inst: The instance to be deleted.