diff options
| author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-07-30 10:00:10 +0000 |
|---|---|---|
| committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-07-30 10:00:10 +0000 |
| commit | 5ae3458a4d37973e762d419afc0fb582699c4cec (patch) | |
| tree | 4770784e7c50fccd8a45eddb8ffc07d90ce82152 /typing/envaux.ml | |
| parent | 4ea3208584a12c9d91425f7aaf1256bc1eea931b (diff) | |
| download | ocaml-5ae3458a4d37973e762d419afc0fb582699c4cec.tar.gz | |
Remove dependency from typing/envaux.ml to bytecomp/instruct.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/envaux.ml')
| -rw-r--r-- | typing/envaux.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/typing/envaux.ml b/typing/envaux.ml index 70b6410467..8b1ba637ac 100644 --- a/typing/envaux.ml +++ b/typing/envaux.ml @@ -70,11 +70,6 @@ let rec env_from_summary sum subst = Hashtbl.add env_cache (sum, subst) env; env -let env_of_event = - function - None -> Env.empty - | Some ev -> env_from_summary ev.Instruct.ev_typenv ev.Instruct.ev_typsubst - let env_of_only_summary env = Env.env_of_only_summary env_from_summary env |