diff options
Diffstat (limited to 'opcodes/xstormy16-dis.c')
-rw-r--r-- | opcodes/xstormy16-dis.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/opcodes/xstormy16-dis.c b/opcodes/xstormy16-dis.c index 0871fec..0c8d204 100644 --- a/opcodes/xstormy16-dis.c +++ b/opcodes/xstormy16-dis.c @@ -165,9 +165,10 @@ xstormy16_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 (); } } |