On Sun, 2002-11-03 at 17:28, Tom Tromey wrote: > I agree with your assessment of the bug you reported. Try the appended. > It works for me. This also works for me. Thanks, AG