Commit 3893dee89bceec9e88b586ddb108edf14dee0b58

Tom Tromey 1997-02-25T03:39:56

bug fix