diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-04-18 14:04:05 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-04-18 14:04:05 +0000 |
| commit | d56d25aaf26283394f02f2da8072a69d164fd7c5 (patch) | |
| tree | ddb4f051ed8db12c4dd51af858ec3c6391701652 | |
| parent | ea9b815aa526f600d684c04cf555deba0935cd82 (diff) | |
MAJ nouveau format .cma
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/dynlink/dynlink.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/dynlink/dynlink.ml b/otherlibs/dynlink/dynlink.ml index 263bf0a69..9f70e63ea 100644 --- a/otherlibs/dynlink/dynlink.ml +++ b/otherlibs/dynlink/dynlink.ml @@ -157,8 +157,8 @@ let loadfile file_name = if buffer = Config.cma_magic_number then begin let toc_pos = input_binary_int ic in (* Go to table of contents *) seek_in ic toc_pos; - List.iter (load_compunit ic file_name) - (input_value ic : compilation_unit list) + let toc = (input_value ic : library) in + List.iter (load_compunit ic file_name) toc.lib_units end else raise(Error(Not_a_bytecode_file file_name)); close_in ic |