From 337e5a736b3c38ff14d33446dc51fca965426938 Mon Sep 17 00:00:00 2001 From: Maxime Buyse Date: Mon, 3 Feb 2025 15:07:43 +0100 Subject: [PATCH] Make sure origins are renamed in bundles. --- engine/lib/ast_utils.ml | 3 +++ 1 file changed, 3 insertions(+) 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)