Remove redundant copy of comment.
This commit is contained in:
parent
0364a801bb
commit
69a34503f4
@ -3763,7 +3763,6 @@ let trans_visitor
|
|||||||
(* NB: follow any exterior pointer as we go. *)
|
(* NB: follow any exterior pointer as we go. *)
|
||||||
let src_cell = deref_slot false src_cell src_slot in
|
let src_cell = deref_slot false src_cell src_slot in
|
||||||
|
|
||||||
(* NB: follow any exterior pointer as we go. *)
|
|
||||||
let tag_cell:Il.cell = get_element_ptr src_cell 0 in
|
let tag_cell:Il.cell = get_element_ptr src_cell 0 in
|
||||||
let union_cell =
|
let union_cell =
|
||||||
get_element_ptr_dyn_in_current_frame src_cell 1
|
get_element_ptr_dyn_in_current_frame src_cell 1
|
||||||
|
Loading…
Reference in New Issue
Block a user