Options and fixes

1 files changed, 1 insertions, 0 deletions

diff --git a/inc/tree.h b/inc/tree.h
index 8f11f1b..a3be29c 100644
--- a/inc/tree.h
+++ b/inc/tree.h
@@ -42,5 +42,6 @@ struct list {
 };
 
 struct list *tree_merge_duplicates(struct term *term);
+void tree_destroy(struct list *table);
 
 #endif