[RFA 12/14] Use std::vector in reread_symbols

[Simon Marchi]

On 2017-04-08 16:12, Tom Tromey wrote:
> This changes reread_symbols to use std::vector, removing a cleanup.

Patches 12, 13 and 14 all look good to me.

Thanks,

Simon