Update

Author: wenyuzhao

mmtk/Cargo.toml

@@ -21,7 +21,7 @@ lazy_static = "1.1"
 # - change branch
 # - change repo name
 # But other changes including adding/removing whitespaces in commented lines may break the CI.
-mmtk = { git = "ssh://[email protected]/mmtk/mmtk-core.git", rev = "34f51e49d401a88361a5c0cfed62bb29a54352d8" }
+mmtk = { git = "ssh://[email protected]/mmtk/mmtk-core.git", rev = "487e7a5c4597838ba02dd23e3de60eb85357d16a" }
 # Uncomment the following to build locally
 # mmtk = { path = "../repos/mmtk-core" }