mmtk
diff --git a/‎mmtk/Cargo.lock
+2-2 b/‎mmtk/Cargo.lock
+2-2
diff --git a/‎mmtk/Cargo.toml
+1-1 b/‎mmtk/Cargo.toml
+1-1
@@ -35,7 +35,7 @@ probe = "0.5"
 # - change branch
 # - change repo name
 # But other changes including adding/removing whitespaces in commented lines may break the CI.
-mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "ac80c8de8ac551959839dfaa79e87c1a05a9e89c" }
+mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "ec745353a8de72b645613e0fef3ab7f5f1ad9bd1" }
 # Uncomment the following to build locally
 # mmtk = { path = "../repos/mmtk-core" }