--- a/ui/common/types.h Mon Nov 17 11:28:47 2025 +0100 +++ b/ui/common/types.h Mon Nov 17 14:27:48 2025 +0100 @@ -36,6 +36,7 @@ #endif void uic_ucx_list_init(UiContext *ctx, UiList *list, void *unused); +void uic_ucx_list_destroy(UiContext *ctx, UiList *list, void *unused); void uic_int_copy(UiInteger *from, UiInteger *to); void uic_double_copy(UiDouble *from, UiDouble *to);