diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-09-01 08:36:47 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-09-01 08:36:47 +0000 |
| commit | adcd0fe5c9128bd232cb63c2dde53a030a76557b (patch) | |
| tree | e00671d06968e5095f49fc063fbd9f54e91f2f21 /toplevel | |
| parent | 132c529b7551926320a48d58664afab7270a20d1 (diff) | |
| download | ocaml-adcd0fe5c9128bd232cb63c2dde53a030a76557b.tar.gz | |
#6529: further optimize consistency check.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/topdirs.ml | 2 | ||||
| -rw-r--r-- | toplevel/toploop.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index d3387a3f19..59ce633cdf 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -62,7 +62,7 @@ let check_consistency ppf filename cu = try List.iter (fun (name, crco) -> - Env.imported_units := name :: !Env.imported_units; + Env.add_import name; match crco with None -> () | Some crc-> diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index 482150a10a..cf62137c23 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -429,7 +429,7 @@ let _ = Compmisc.init_path false; List.iter (fun (name, crco) -> - Env.imported_units := name :: !Env.imported_units; + Env.add_import name; match crco with None -> () | Some crc-> |