Commit a126d0b6666ce8af380c6701e35038623678df81

Tom Tromey 1997-10-20T15:32:36

bug fix