diff --git a/mod/box/box.m b/mod/box/box.m index b23d44b3b8f733a1e2648a078af4d117e3ce18d7..61cf2c3371fa00a92a2b85ffb6cdf240b22f1581 100644 --- a/mod/box/box.m +++ b/mod/box/box.m @@ -926,6 +926,7 @@ space_free(void) for (i = 0 ; i < BOX_SPACE_MAX ; i++) { if (!space[i].enabled) continue; + int j; for (j = 0 ; j < BOX_INDEX_MAX ; j++) { Index *index = space[i].index[j]; @@ -933,6 +934,8 @@ space_free(void) break; [index free]; } + + sfree(space[i].field_types); } }