Commit 0f687c3149ebebe684ab3cf4e437ff81398749a3

Tom Tromey 1996-08-04T19:38:04

Bug fix