Commit a3281f5bf5e8be16804fddafc0e58d0f80028587

Tom Tromey 1996-05-23T16:05:41

Bug fix