- right_child = new wt_node_leaf((uint)right[0], count_right);
- else
- right_child = new wt_node_internal(right, count_right, l+1, c, bmb);
+ {
+ right_child = new wt_node_leaf((uint)right[0], count_right);
+ delete [] right;
+ right = 0;
+ }
+ else
+ {
+ right_child = new wt_node_internal(right, count_right, l+1, c, bmb);
+ right = 0; // Already deleted
+ }