From c8cb2a79223ccb9585d427764e5ca59b1c1f3c67 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 17 Jul 2013 15:31:38 +0000
Subject: Lib.contents () instead of Lib.contents_after None

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16627 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/extraction/extract_env.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'plugins')

diff --git a/plugins/extraction/extract_env.ml b/plugins/extraction/extract_env.ml
index fae5c7e670..cc302b95d0 100644
--- a/plugins/extraction/extract_env.ml
+++ b/plugins/extraction/extract_env.ml
@@ -26,7 +26,6 @@ open Mod_subst
 (***************************************)
 
 let toplevel_env () =
-  let seg = Lib.contents_after None in
   let get_reference = function
     | (_,kn), Lib.Leaf o ->
 	let mp,_,l = repr_kn kn in
@@ -48,7 +47,7 @@ let toplevel_env () =
         end
     | _ -> None
   in
-  SEBstruct (List.rev (List.map_filter get_reference seg))
+  SEBstruct (List.rev (List.map_filter get_reference (Lib.contents ())))
 
 
 let environment_until dir_opt =
-- 
cgit v1.2.3