Commit ad68be92f7b791e8c31afebf083675fb8d9e5ce8

Tom Tromey 1996-09-04T01:14:22

Bug fix