Re: [RFA 14/23] Use unique_xmalloc_ptr in jit.c

Tom Tromey
2017-06-05T13:09:51Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> I think we don't really need two unique pointers, and then
Pedro> moving.

I made this change.

Tom