Commit 4d7125262a52a54d1eb2dff26815801222a30a34

Tom Tromey 1996-12-03T17:48:56

bug fix