Index: extobj.h =================================================================== --- extobj.h (revision 11154) +++ extobj.h (revision 11155) @@ -59,6 +59,7 @@ /*** internal, do not call ***/ void csch_extobj_init(void); +void csch_extobj_act_uninit(void); void csch_extobj_uninit(void); const csch_extobj_impl_t *csch_extobj_lookup(const char *name);