[patch] Fix debug printing of OP_* names

[Tom Tromey]

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Jan>  This means that the vector entry exp_descriptor-> op_name could be
Jan> removed which I did not do.  I believe language "plugins" would
Jan> make sense for GDB, whether some form of ABI would be provided or
Jan> if it was supported only for the same binary build is too much
Jan> outside of the scope of this patch.  But the plugins support
Jan> possibility discourages me from removing the vector entry
Jan> exp_descriptor->op_name.

In any case it isn't a big deal to leave this entry in place.

Jan> I will check it in a long time if no comments appear.

It looks fine to me.

Tom