[PATCH] Fix ptype problem printing typedefs defined differently in different compilation units

[Jim Blandy]

On 1/15/06, Daniel Jacobowitz <drow@false.org> wrote:
> Given the followups, I think this patch is OK.  Jim, do you agree?

I think we're going to end up coming back to it, but the patch is
definitely an improvement over the status quo, and doesn't interfere
with further improvements, so I think the patch is okay too.