Update following some changes in Charon

1 files changed, 1 insertions, 0 deletions

diff --git a/compiler/Pure.ml b/compiler/Pure.ml
index 70653e57..c33a745c 100644
--- a/compiler/Pure.ml
+++ b/compiler/Pure.ml
@@ -1013,6 +1013,7 @@ type trait_decl = {
   name : name;
   generics : generic_params;
   preds : predicates;
+  parent_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;