diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/type.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index c9be05cc..a685b276 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1000,7 +1000,7 @@ let populate_tag_graph_node (cx:Semant.ctxt) (id:Common.opaque_id) (n:int) = function Ast.TY_tag { Ast.tag_id = id'; Ast.tag_args = tys } -> let tag_graph_node = - Hashtbl.find cx.Semant.ctxt_tag_containment id' + Hashtbl.find cx.Semant.ctxt_tag_containment id in Queue.add id' tag_graph_node.Semant.tgn_children; Array.iter add_ty tys |