next = exploring->get_state();
if (next == exploring->get_diverge()) {
- TreeNode *node = next->get_node();
+ TreeNode *node = next->get_treenode();
/* Reached divergence point; discard our current 'exploring' */
DEBUG("*** Discard 'Backtrack' object ***\n");
if (prev == NULL)
return;
- node = prev->get_node();
+ node = prev->get_treenode();
while (t && !node->is_enabled(t))
t = t->get_parent();