Commit c1a8ce55f595ced8bd41b50112fcef85bd540c8b

Tom Tromey 1996-01-05T18:00:07

Bug fix