diff options
Diffstat (limited to 'src/vppinfra')
| -rw-r--r-- | src/vppinfra/rbtree.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/vppinfra/rbtree.c b/src/vppinfra/rbtree.c index 95e9d10967b..5bb2e875e86 100644 --- a/src/vppinfra/rbtree.c +++ b/src/vppinfra/rbtree.c @@ -401,8 +401,8 @@ rb_tree_n_nodes (rb_tree_t * rt) void rb_tree_free_nodes (rb_tree_t * rt) { - rb_node_t *n; - pool_flush (n, rt->nodes,;); + pool_free (rt->nodes); + rt->root = RBTREE_TNIL_INDEX; } void |