diff options
| author | letouzey | 2013-07-17 15:31:38 +0000 |
|---|---|---|
| committer | letouzey | 2013-07-17 15:31:38 +0000 |
| commit | c8cb2a79223ccb9585d427764e5ca59b1c1f3c67 (patch) | |
| tree | bbe174ee5532d13319f829573f6b356836305f3a /plugins | |
| parent | 3d09e39dd423d81c6af3e991d5b282ea8608646b (diff) | |
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
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/extraction/extract_env.ml | 3 |
1 files changed, 1 insertions, 2 deletions
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 = |