diff options
Diffstat (limited to 'opcodes/ip2k-dis.c')
-rw-r--r-- | opcodes/ip2k-dis.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/opcodes/ip2k-dis.c b/opcodes/ip2k-dis.c index 5212593..5e32903 100644 --- a/opcodes/ip2k-dis.c +++ b/opcodes/ip2k-dis.c @@ -285,9 +285,10 @@ ip2k_cgen_print_operand (CGEN_CPU_DESC cd, default : /* xgettext:c-format */ - fprintf (stderr, _("Unrecognized field %d while printing insn.\n"), - opindex); - abort (); + opcodes_error_handler + (_("internal error: unrecognized field %d while printing insn"), + opindex); + abort (); } } |