diff options
| author | Son Ho | 2023-10-30 12:24:05 +0100 |
|---|---|---|
| committer | Son Ho | 2023-10-30 12:24:05 +0100 |
| commit | dc0032f6ce3b837ba2f431bbb5c9a92c625f629f (patch) | |
| tree | 37de8c24e1dfb1b7268143886303ba65b4122565 /compiler/Pure.ml | |
| parent | c200d43abf96c6f3126d1de40e7e4c547e4e7371 (diff) | |
Make minor updates following changes in Charon
Diffstat (limited to 'compiler/Pure.ml')
| -rw-r--r-- | compiler/Pure.ml | 1 |
1 files changed, 0 insertions, 1 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; |