From 40f7eb94b653b60f79c4f6eb204960037fcffa66 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Mon, 7 Nov 2016 14:41:52 +0100
Subject: COMMENT: Pre_env.env

---
 kernel/pre_env.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/pre_env.ml b/kernel/pre_env.ml
index 6bfba2d40b..48d7ee9ec3 100644
--- a/kernel/pre_env.ml
+++ b/kernel/pre_env.ml
@@ -68,8 +68,8 @@ type named_context_val = {
 }
 
 type env = {
-  env_globals       : globals;
-  env_named_context : named_context_val;
+  env_globals       : globals;           (* globals = constants + inductive types + modules + module-types *)
+  env_named_context : named_context_val; (* section variables *)
   env_rel_context   : Context.Rel.t;
   env_rel_val       : lazy_val list;
   env_nb_rel        : int;
-- 
cgit v1.2.3