diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/RegionsHierarchy.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/RegionsHierarchy.ml b/compiler/RegionsHierarchy.ml index 4ebdd01a..0672a25f 100644 --- a/compiler/RegionsHierarchy.ml +++ b/compiler/RegionsHierarchy.ml @@ -55,6 +55,7 @@ let compute_regions_hierarchy_for_sig (meta : Meta.meta option) (type_decls : ty sg.preds.trait_type_constraints in { + meta = meta; norm_trait_types; type_decls; fun_decls; |