> > Sorry for the delay. I just tried insight+dejagnu-20021129, and there > the problem is indeed gone. Thus, no need to worry about this. > Thanks for the hint! That's good news. It means that the (slow painful) frame overhaul really is flushing out long standing bugs. Andrew