From 459a6e1297695c534e06f20cb53a19b3b576e588 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 11 Mar 2024 09:42:03 +0100
Subject: Update a builtin name

---
 compiler/ExtractBuiltin.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml
index 92371afa..401d0137 100644
--- a/compiler/ExtractBuiltin.ml
+++ b/compiler/ExtractBuiltin.ml
@@ -264,7 +264,7 @@ let builtin_funs () : (pattern * bool list option * builtin_fun_info) list =
       (Some "alloc.vec.Vec.index_mut")
       (Some [ true; true; false ]);
     mk_fun "alloc::boxed::{core::ops::deref::Deref<Box<@T>>}::deref"
-      (Some "alloc.boxed.Box_deref")
+      (Some "alloc.boxed.Box.deref")
       (Some [ true; false ]);
     mk_fun "alloc::boxed::{core::ops::deref::DerefMut<Box<@T>>}::deref_mut"
       (Some "alloc.boxed.Box.deref_mut")
-- 
cgit v1.2.3