Make minor updates following changes in Charon

2 files changed, 2 insertions, 6 deletions

diff --git a/compiler/Pure.ml b/compiler/Pure.ml
index a5aa0edd..70653e57 100644
--- a/compiler/Pure.ml
+++ b/compiler/Pure.ml
@@ -1013,7 +1013,6 @@ type trait_decl = {
   name : name;
   generics : generic_params;
   preds : predicates;
-  all_trait_clauses : trait_clause list;
   consts : (trait_item_name * (ty * global_decl_id option)) list;
   types : (trait_item_name * (trait_clause list * ty option)) list;
   required_methods : (trait_item_name * fun_decl_id) list;
diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml
index 885d2ba5..c629a96f 100644
--- a/compiler/SymbolicToPure.ml
+++ b/compiler/SymbolicToPure.ml
@@ -3092,21 +3092,19 @@ let translate_fun_signatures (decls_ctx : C.decls_ctx)
 let translate_trait_decl (type_infos : TA.type_infos)
     (trait_decl : A.trait_decl) : trait_decl =
   let {
-    A.def_id;
+    def_id;
     name;
     generics;
     preds;
-    all_trait_clauses;
     consts;
     types;
     required_methods;
     provided_methods;
-  } =
+  } : A.trait_decl =
     trait_decl
   in
   let generics = translate_generic_params generics in
   let preds = translate_predicates preds in
-  let all_trait_clauses = List.map translate_trait_clause all_trait_clauses in
   let consts =
     List.map
       (fun (name, (ty, id)) -> (name, (translate_fwd_ty type_infos ty, id)))
@@ -3125,7 +3123,6 @@ let translate_trait_decl (type_infos : TA.type_infos)
     name;
     generics;
     preds;
-    all_trait_clauses;
     consts;
     types;
     required_methods;