diff options
author | Alain Frisch <alain@frisch.fr> | 2021-10-27 09:43:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-27 09:43:07 +0200 |
commit | f04d0cd1dcc711304b04c8747981af92fb017386 (patch) | |
tree | 56747b8f62a838c72f033b37aa88f6a6e928601c | |
parent | 3a900d43814357cf9599a6ee0f851c903a908941 (diff) | |
download | ocaml-afrisch_fix_reachable_words.tar.gz |
Update Changesafrisch_fix_reachable_words
Co-authored-by: Xavier Leroy <xavierleroy@users.noreply.github.com>
-rw-r--r-- | Changes | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -29,8 +29,8 @@ Working version (Xavier Leroy and David Allsopp, review by Sébastien Hinderer and Damien Doligez) -- #10730, 10731: Fix bug making Obj.reachable_words extremely slow when called - multiple time (Alain Frisch, report by ygrek) +- #10730, 10731: Fix bug in `Obj.reachable_words` causing a slowdown when called + multiple time (Alain Frisch, report by ygrek, review by Xavier Leroy) ### Code generation and optimizations: |