Update to mmtk-core PR #1205 (#177)

qinsoon · mmtkgc-bot · web-flow · commit 5d07e8fd1f04 · 2024-09-27T08:31:53.000Z
Co-authored-by: mmtkgc-bot &lt;mmtkgc.bot@gmail.com&gt;
diff --git a/mmtk/Cargo.lock b/mmtk/Cargo.lock
diff --git a/mmtk/Cargo.toml b/mmtk/Cargo.toml
@@ -31,7 +31,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 = "https://github.com/mmtk/mmtk-core.git", rev = "45cdf31055b1b6a629bdb8032adaa6dd5a8e32b9" }
+mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "de10fa4c3bc0a2a5010b9ce04a540c63b14dc214" }
 # Uncomment the following to build locally
 # mmtk = { path = "../repos/mmtk-core" }
 log = {version = "0.4", features = ["max_level_trace", "release_max_level_off"] }
diff --git a/mmtk/src/api.rs b/mmtk/src/api.rs
@@ -271,7 +271,7 @@ pub extern "C" fn mmtk_handle_user_collection_request(tls: VMMutatorThread, coll
         // incremental
         2 => SINGLETON.handle_user_collection_request(tls, true, false),
         _ => unreachable!(),
-    }
+    };
 }
 
 #[no_mangle]

Original file line number	Diff line number	Diff line change
`@@ -271,7 +271,7 @@ pub extern "C" fn mmtk_handle_user_collection_request(tls: VMMutatorThread, coll`
`271`	`271`	`// incremental`
`272`	`272`	`2 => SINGLETON.handle_user_collection_request(tls, true, false),`
`273`	`273`	`_ => unreachable!(),`
`274`		`- }`
	`274`	`+ };`
`275`	`275`	`}`
`276`	`276`
`277`	`277`	`#[no_mangle]`