Index: kernel/generic/include/adt/odict.h
===================================================================
--- kernel/generic/include/adt/odict.h	(revision ef1eab71c59f1782c6211550d5ee608250a791e0)
+++ kernel/generic/include/adt/odict.h	(revision 88cc71c0ffcc673db06571f653009d2efacb8326)
@@ -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 *);