From 2dbe106c09b60690b87e31e58d505b1f4e05b57f Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Fri, 11 May 2007 17:00:58 +0000
Subject: Processor integers + Print assumption (see coqdev mailing list for
 the details).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9821 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/pre_env.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'kernel/pre_env.ml')

diff --git a/kernel/pre_env.ml b/kernel/pre_env.ml
index 7a7e00e905..4f2498dc35 100644
--- a/kernel/pre_env.ml
+++ b/kernel/pre_env.ml
@@ -48,7 +48,8 @@ type env = {
   env_rel_context   : rel_context;
   env_rel_val       : lazy_val list;
   env_nb_rel        : int;
-  env_stratification : stratification }
+  env_stratification : stratification;
+  retroknowledge : Retroknowledge.retroknowledge }
 
 type named_context_val = named_context * named_vals
 
@@ -67,7 +68,8 @@ let empty_env = {
   env_nb_rel = 0;
   env_stratification = {
     env_universes = initial_universes;
-    env_engagement = None } }
+    env_engagement = None };
+  retroknowledge = Retroknowledge.initial_retroknowledge }
 
 
 (* Rel context *)
-- 
cgit v1.2.3