diff options
Diffstat (limited to '')
| -rw-r--r-- | src/CfimAst.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/CfimAst.ml b/src/CfimAst.ml index 2f8d3e69..a06dfc90 100644 --- a/src/CfimAst.ml +++ b/src/CfimAst.ml @@ -19,9 +19,9 @@ type var = { type assumed_fun_id = | Replace (** `core::mem::replace` *) | BoxNew - | BoxDeref (** `core::ops::deref::Deref::<alloc::boxed::Box::>::deref` *) + | BoxDeref (** `core::ops::deref::Deref::<alloc::boxed::Box<T>>::deref` *) | BoxDerefMut - (** `core::ops::deref::DerefMut::<alloc::boxed::Box::>::deref_mut` *) + (** `core::ops::deref::DerefMut::<alloc::boxed::Box<T>>::deref_mut` *) | BoxFree | VecNew | VecPush |