Make sure origins are renamed in bundles.

cryspen · Feb 3, 2025 · 337e5a7 · 337e5a7
1 parent 8381810
commit 337e5a7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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)