diff options
| author | Son Ho | 2024-03-11 09:42:03 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-11 09:42:03 +0100 |
| commit | 459a6e1297695c534e06f20cb53a19b3b576e588 (patch) | |
| tree | c2c262bd86140a155fd1b082e1bc0e631f21cbac | |
| parent | bd6bd4158218c116cbb5a97a1ab8674175cdc773 (diff) | |
Update a builtin name
Diffstat (limited to '')
| -rw-r--r-- | compiler/ExtractBuiltin.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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") |