From 69a34503f4d51b639855501f1b6d6ce2da4e16c7 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Thu, 24 Jun 2010 11:18:02 -0700 Subject: [PATCH] Remove redundant copy of comment. --- src/boot/me/trans.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 3213863922e..fe4a542f489 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -3763,7 +3763,6 @@ let trans_visitor (* NB: follow any exterior pointer as we go. *) 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 union_cell = get_element_ptr_dyn_in_current_frame src_cell 1