Commit e020e770deb7477288cf5079bac9fdcfd03c0a92

Tom Tromey 1996-09-12T21:06:41

Bug fix