On 11/23/2017 06:39 PM, Simon Marchi wrote: > On 2017-11-23 07:54 AM, Pedro Alves wrote: >> Isn't this leaking the heap-allocated vectors? >> >> Why make it a map of pointers, actually? Why not: >> > Oops, thanks for noticing and for the suggestion. I don't know what I was thinking. > What about this patch? LGTM. Thanks, Pedro Alves