diff options
Diffstat (limited to 'src/Contexts.ml')
| -rw-r--r-- | src/Contexts.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Contexts.ml b/src/Contexts.ml index 1a9dcfc8..f7a24d27 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.type_declaration_group TypeDefId.Map.t; type_defs : type_def list; } [@@deriving show] |