On 01/19/2016 04:23 AM, Simon Marchi wrote: > gdb/ChangeLog: > > * python/lib/gdb/printing.py (_EnumInstance.to_string): Explicitly > convert gdb.Value to integer type using int(). LGTM. Thanks, Pedro Alves