diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Contexts.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Contexts.ml b/src/Contexts.ml index 8a9c4857..1a9dcfc8 100644 --- a/src/Contexts.ml +++ b/src/Contexts.ml @@ -137,7 +137,7 @@ let config_of_partial (mode : interpreter_mode) (config : partial_config) : } type type_context = { - type_defs_groups : M.types_decl_group TypeDefId.map_t; + type_defs_groups : M.types_decl_group TypeDefId.Map.t; type_defs : type_def list; } [@@deriving show] @@ -147,7 +147,7 @@ type eval_ctx = { fun_context : fun_def list; type_vars : type_var list; env : env; - ended_regions : RegionId.set_t; + ended_regions : RegionId.Set.t; } [@@deriving show] (** Evaluation context *) |