Commit 9366b5f84bae691640988939057703ec05082569

Tom Tromey 1997-05-30T05:42:15

really fixed redef bug