Commit bee33fa7dfb466bb1b912016254dcf77bed3859a

Tom Tromey 1996-01-04T06:05:29

bug fix