Hi Thomas, : * arm-dis.c: (print_insn_arm): Changed output : from hex to decimal. Makes #<val> output consistently : show #<dec val> instead of a hex val which, by the way, was not : preceeded by "0x". This patch is fine. Please apply it. Cheers Nick