Commit 068a2710856ec5f90f58f2aaa6506422c975d221

Tom Tromey 1996-12-01T22:12:54

Bug fix