diff options
Diffstat (limited to 'compiler/Substitute.ml')
-rw-r--r-- | compiler/Substitute.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Substitute.ml b/compiler/Substitute.ml index 6ea460db..203bfac3 100644 --- a/compiler/Substitute.ml +++ b/compiler/Substitute.ml @@ -119,7 +119,7 @@ let substitute_signature (asubst : RegionGroupId.id -> AbstractionId.id) let trait_type_constraints = List.map (trait_type_constraint_substitute subst) - sg.preds.trait_type_constraints + sg.generics.trait_type_constraints in { inputs; output; regions_hierarchy; trait_type_constraints } |