[PATCH] Remove unused exp_opcodes

[Tom Tromey]

>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes:

Joel> I'll confess that I am not quite sure whether you're supposed to close
Joel> the '<' at the end of the line, or whether it can continue on the next
Joel> line like you did. I don't think it's a huge deal, but we can fix that
Joel> if someone knows and it turns out to be wrong...

I wouldn't worry about it at all.
As long as the names are spelled right I don't think the details of the
syntax matter.

Tom