diff options
Diffstat (limited to 'inc/tree.h')
-rw-r--r-- | inc/tree.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -42,5 +42,6 @@ struct list { }; struct list *tree_merge_duplicates(struct term *term); +void tree_destroy(struct list *table); #endif |