Commit bb28e1c328082dd3c276da6b3e6fba935243e152

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

bug fix