[PATCH] Add pretty-printer for CORE_ADDR

[Simon Marchi]

On 2018-06-27 15:18, Pedro Alves wrote:
> On 06/27/2018 08:04 PM, Simon Marchi wrote:
>> Add a pretty-printer that prints CORE_ADDR values in hex.
> 
> Yes please!

Thanks, pushed.

Simon