diff options
Diffstat (limited to 'compiler/RegionsHierarchy.ml')
| -rw-r--r-- | compiler/RegionsHierarchy.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/RegionsHierarchy.ml b/compiler/RegionsHierarchy.ml index 6c5253b8..61fa37d9 100644 --- a/compiler/RegionsHierarchy.ml +++ b/compiler/RegionsHierarchy.ml @@ -148,9 +148,7 @@ let compute_regions_hierarchy_for_sig (span : Meta.span option) let subst = Subst.make_subst_from_generics decl.generics generics tr_self in - let predicates = - Subst.generic_params_substitute subst decl.generics - in + let predicates = Subst.predicates_substitute subst decl.generics in (* Note that because we also explore the generics below, we may explore several times the same type - this is ok *) List.iter |