[patch] Fix debug printing of OP_* names

[Jan Kratochvil]

On Fri, 28 Jan 2011 13:24:52 +0100, Tom Tromey wrote:
> >>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:
> Jan> I will check it in a long time if no comments appear.
> 
> It looks fine to me.

Checked in:
	http://sourceware.org/ml/gdb-cvs/2011-02/msg00002.html


Thanks,
Jan