Commit 12324415b17d3aaa51fd3cae6f6d24436dc74875

Tom Tromey 1997-02-23T07:19:33

bug fix