From 09c02a7b56575e826c66a6c8873b290a8afb5827 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 25 Jun 2024 13:57:52 +0200
Subject: Update charon

---
 compiler/RegionsHierarchy.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'compiler')

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