File tree 2 files changed +6
-5
lines changed
2 files changed +6
-5
lines changed Original file line number Diff line number Diff line change 1
1
---
2
- refs/heads/master: 7e3c662b4f52aa7b35ba5e0ce5d09154687a9140
2
+ refs/heads/master: 3d0da7545588e22c734c21d1bf81d610a3d3f3cc
Original file line number Diff line number Diff line change @@ -178,10 +178,11 @@ let all_item_collecting_visitor
178
178
note_header i.id f.Ast. fn_input_slots;
179
179
| Ast. MOD_ITEM_obj ob ->
180
180
note_header i.id ob.Ast. obj_state;
181
- | Ast. MOD_ITEM_tag (hdr , oid , _ ) ->
182
- note_header i.id hdr;
183
- Hashtbl. replace cx.ctxt_user_tag_names oid
184
- (path_to_name cx.ctxt_curr_path);
181
+ | Ast. MOD_ITEM_tag (hdr , _ , _ ) ->
182
+ note_header i.id hdr
183
+ | Ast. MOD_ITEM_type (_ , Ast. TY_tag ttag ) ->
184
+ Hashtbl. replace cx.ctxt_user_tag_names ttag.Ast. tag_id
185
+ (path_to_name cx.ctxt_curr_path)
185
186
| _ -> ()
186
187
end ;
187
188
inner.Walk. visit_mod_item_pre n p i
You can’t perform that action at this time.
0 commit comments