On Tue, 24 Sep 2002, Fernando Nasser wrote: > This is an obvious fix. The whole point in having get_type and > get_target_type was to prevent things like this to happen. Well, it's obvious to me, but it may not be so obvious to others, I think. Anyway, I've committed this, and I will close gdbMI/720. Keith