Commit eac7b79b8cf8a54ef0dceee4c63a09168d2c32c9

Tom Tromey 1996-04-05T07:23:19

Bug fix