From 4552729b88058946055dddde1533057e25bfc5a9 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 16 May 2018 00:06:51 +0200
Subject: Unify pre_env and env

We now have only two notions of environments in the kernel: env and
safe_env.
---
 kernel/nativecode.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/nativecode.ml')

diff --git a/kernel/nativecode.ml b/kernel/nativecode.ml
index c82d982b4b..0cd0ad46c1 100644
--- a/kernel/nativecode.ml
+++ b/kernel/nativecode.ml
@@ -16,7 +16,7 @@ open Util
 open Nativevalues
 open Nativeinstr
 open Nativelambda
-open Pre_env
+open Environ
 
 [@@@ocaml.warning "-32-37"]
 
@@ -1837,7 +1837,7 @@ and apply_fv env sigma univ (fv_named,fv_rel) auxdefs ml =
 
 and compile_rel env sigma univ auxdefs n =
   let open Context.Rel.Declaration in
-  let decl = Pre_env.lookup_rel n env in
+  let decl = lookup_rel n env in
   let n = List.length env.env_rel_context.env_rel_ctx - n in
   match decl with
   | LocalDef (_,t,_) ->
-- 
cgit v1.2.3