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/PrintPure.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'compiler/PrintPure.ml')

diff --git a/compiler/PrintPure.ml b/compiler/PrintPure.ml
index fe7c1234..413f7f0d 100644
--- a/compiler/PrintPure.ml
+++ b/compiler/PrintPure.ml
@@ -58,10 +58,7 @@ let fmt_env_to_llbc_fmt_env (env : fmt_env) : Print.fmt_env =
     trait_decls = env.trait_decls;
     trait_impls = env.trait_impls;
     regions = [];
-    types = [];
-    const_generics = [];
-    trait_clauses = [];
-    preds = TypesUtils.empty_predicates;
+    generics = TypesUtils.empty_generic_params;
     locals = [];
   }
 
-- 
cgit v1.2.3