From 43996255f614ac57deb2fc0666f221853c60b343 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 13 Apr 2023 16:44:53 +0200
Subject: Options and fixes

---
 inc/tree.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'inc/tree.h')

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
-- 
cgit v1.2.3