Commit ce7318484e1dec33e0d996e8593d357b833b2b9b

Tom Tromey 1996-08-08T16:58:27

Bug fix