diff options
Diffstat (limited to 'kernel/environ.mli')
| -rw-r--r-- | kernel/environ.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/environ.mli b/kernel/environ.mli index 5cb56a2a29..55df27a8b3 100644 --- a/kernel/environ.mli +++ b/kernel/environ.mli @@ -69,6 +69,7 @@ type stratification = { type named_context_val = private { env_named_ctx : Constr.named_context; env_named_map : (Constr.named_declaration * lazy_val) Id.Map.t; + env_named_var : Constr.t list; } type rel_context_val = private { |