Index: kernel/generic/include/adt/odict.h
===================================================================
--- kernel/generic/include/adt/odict.h	(revision 377818191c87c5eca4e9c6ab5eb18e5d7d8b9103)
+++ kernel/generic/include/adt/odict.h	(revision 6785b88b8b93d8f20833383597631d0714e3789c)
@@ -45,4 +45,5 @@
 
 extern void odict_initialize(odict_t *, odgetkey_t, odcmp_t);
+extern void odict_finalize(odict_t *);
 extern void odlink_initialize(odlink_t *);
 extern void odict_insert(odlink_t *, odict_t *, odlink_t *);