Verified Commit f821e688 authored by
map_t, set_t: unify memory allocation to mm_*
We use the knot style everywhere else; this was very similar and yet different, so really annoying to me. In the long term we might better migrate to qp-tries from knot, but the API differs, so it's delayed...
Showing with 34 additions and 59 deletions