From 7e153990e307b2d83c00a333a91882317f9b16fc Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 8 Feb 2022 18:37:46 +0100
Subject: Make minor modifications

---
 src/CfimAst.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/CfimAst.ml')

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
-- 
cgit v1.2.3