diff --git a/engine/lib/ast_utils.ml b/engine/lib/ast_utils.ml index ef55bf45c..1c6a546bd 100644 --- a/engine/lib/ast_utils.ml +++ b/engine/lib/ast_utils.ml @@ -306,6 +306,9 @@ module Make (F : Features.T) = struct inherit [_] Visitors.map as super method! visit_concrete_ident (lvl : visit_level) ident = f lvl ident + method! visit_item_quote_origin (lvl : visit_level) iqo = + { iqo with item_ident = f lvl iqo.item_ident } + method! visit_global_ident lvl (x : Global_ident.t) = match x with | `Concrete x -> `Concrete (f lvl x)