1 files changed, 0 insertions, 4 deletions
diff --git a/src/rt/rust.cpp b/src/rt/rust.cpp
index dc28f624415..705a96303d4 100644
--- a/src/rt/rust.cpp
+++ b/src/rt/rust.cpp
@@ -72,8 +72,6 @@ command_line_args : public kernel_owned<command_line_args>
 // FIXME (#2670): This belongs somewhere else
 int check_claims = 0;
 
-void* global_crate_map = NULL;
-
 /**
    The runtime entrypoint. The (C ABI) main function generated by rustc calls
    `rust_start`, providing the address of the Rust ABI main function, the
@@ -88,8 +86,6 @@ rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) {
     // line as well.
     rust_env *env = load_env();
 
-    global_crate_map = crate_map;
-
     update_gc_metadata(crate_map);
 
     update_log_settings(crate_map, env->logspec);