You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Matthew Flatt 54566597c9 fix problem with simplifying module-rename contexts that have marked renamings ... svn: r12195 original commit: 05fbd0ffd3f0281934194f08388d76f21bc2de4a		16 years ago
collects	fix problem with simplifying module-rename contexts that have marked renamings	16 years ago