From b287f234695d9013cb74c99dcac46a9b5b334f7c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Jun 2024 16:46:29 +0200
Subject: `predicates` got merged into `generic_params`

---
 compiler/Substitute.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/Substitute.ml')

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 }
 
-- 
cgit v1.2.3