Commit dc96fad3cdfeb0293e63202003c7ab5b2c45d6ea

Tom Tromey 1996-04-26T21:19:07

Bug fix