From bcecccc6973ab15bf99223764268808b89281964 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 6 Oct 2016 11:17:24 +0200
Subject: Removing a slow access to a named environment.

---
 kernel/csymtable.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/csymtable.ml b/kernel/csymtable.ml
index 6f1ace25a6..c27cb04870 100644
--- a/kernel/csymtable.ml
+++ b/kernel/csymtable.ml
@@ -191,7 +191,7 @@ and slot_for_fv env fv =
       | None ->
          let open Context.Named in
          let open Declaration in
-	 env.env_named_context.env_named_ctx |> lookup id |> get_value |> fill_fv_cache nv id val_of_named idfun
+	 env |> Pre_env.lookup_named id |> get_value |> fill_fv_cache nv id val_of_named idfun
       | Some (v, _) -> v
       end
   | FVrel i ->
-- 
cgit v1.2.3