changed destroy_tree to destroy_node

diff --git a/source/runtime/splaytree.c b/source/runtime/splaytree.c
index f7772c0a1c17baedc41e3fa02c2e0476f16ef8fc..57dc11ca302fd0e848adb37c0b125d942b370784 100644 (file)
--- a/source/runtime/splaytree.c
+++ b/source/runtime/splaytree.c
@@ -12,18 +12,18 @@ splaytree_t* splaytree_create(void)
     return splaytree;
 }
 
-static void destroy_tree(node_t* node)
+static void destroy_node(node_t* node)
 {
     if (NULL != node) {
-        destroy_tree(node->left);
-        destroy_tree(node->right);
+        destroy_node(node->left);
+        destroy_node(node->right);
         free(node);
     }
 }
 
 void splaytree_destroy(splaytree_t* tree)
 {
-    destroy_tree(tree->root);
+    destroy_node(tree->root);
     free(tree);
 }