Commit e300eb85e345fac7c82aa0249eea62b9d3a497de

Tom Tromey 1996-04-05T07:44:21

Bug fix