diff options
| author | Guillaume Boisseau | 2024-04-18 14:14:53 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-18 14:14:53 +0200 |
| commit | 8cd6090128397dd9dccf5bb7c27dd85f318aa3c5 (patch) | |
| tree | d2f2bd4b415f55ff4830e35c4883727b89136577 /compiler/RegionsHierarchy.ml | |
| parent | b4c3829305cac70827f6cbca2e90b0ef8be00d47 (diff) | |
| parent | 6ef342ea6ceb0a49929859ef96c5e0afcea7451f (diff) | |
Merge pull request #116 from AeneasVerif/item_meta
Diffstat (limited to 'compiler/RegionsHierarchy.ml')
| -rw-r--r-- | compiler/RegionsHierarchy.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/RegionsHierarchy.ml b/compiler/RegionsHierarchy.ml index 713cdef9..c05e9f24 100644 --- a/compiler/RegionsHierarchy.ml +++ b/compiler/RegionsHierarchy.ml @@ -323,7 +323,7 @@ let compute_regions_hierarchies (type_decls : type_decl TypeDeclId.Map.t) List.map (fun ((fid, d) : FunDeclId.id * fun_decl) -> ( FRegular fid, - (Types.name_to_string env d.name, d.signature, Some d.meta) )) + (Types.name_to_string env d.name, d.signature, Some d.item_meta.meta) )) (FunDeclId.Map.bindings fun_decls) in let assumed = |