diff options
Diffstat (limited to 'compiler/Contexts.ml')
-rw-r--r-- | compiler/Contexts.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Contexts.ml b/compiler/Contexts.ml index 69c4ec3b..55baa6a4 100644 --- a/compiler/Contexts.ml +++ b/compiler/Contexts.ml @@ -259,6 +259,7 @@ type eval_ctx = { type_context : type_context; fun_context : fun_context; global_context : global_context; + region_groups : RegionGroupId.id list; type_vars : type_var list; env : env; ended_regions : RegionId.Set.t; |