Commit c65d8f62c4361657a5a3ff726bf1c81b489b1c98

Tom Tromey 1996-08-05T07:05:36

Bug fix