Merge pull request #1011 from hacspec/rename-struct-fields-access-in-…

…bundles fix(engine): also rename concrete idents within a projector.
hacspec · Oct 17, 2024 · 8c427ed · 8c427ed
2 parents 21672cd + e98abaa
commit 8c427ed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/engine/lib/ast_utils.ml b/engine/lib/ast_utils.ml
@@ -306,6 +306,7 @@ module Make (F : Features.T) = struct
         method! visit_global_ident lvl (x : Global_ident.t) =
           match x with
           | `Concrete x -> `Concrete (f lvl x)
+          | `Projector (`Concrete x) -> `Projector (`Concrete (f lvl x))
           | _ -> super#visit_global_ident lvl x
 
         method! visit_ty _ t = super#visit_ty TypeLevel t