diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-18 07:27:47 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-18 07:27:47 +0000 |
commit | 0a8236066f945c6026337dd4ea9342a9034f7987 (patch) | |
tree | fb63dbda5f249cabf8dea58695131d2e1bf31807 /bytecomp/bytelibrarian.ml | |
parent | 4b70ed64c47bb1a179f0cd58a5d78d1733c5dd54 (diff) | |
download | ocaml-0a8236066f945c6026337dd4ea9342a9034f7987.tar.gz |
vive les methodes polymorphes!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/bytelibrarian.ml')
-rw-r--r-- | bytecomp/bytelibrarian.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bytecomp/bytelibrarian.ml b/bytecomp/bytelibrarian.ml index 1194fc1b39..bad04b7a55 100644 --- a/bytecomp/bytelibrarian.ml +++ b/bytecomp/bytelibrarian.ml @@ -69,7 +69,6 @@ let copy_object_file oc name = let compunit_pos = input_binary_int ic in seek_in ic compunit_pos; let compunit = (input_value ic : compilation_unit) in - Bytelink.check_consistency file_name compunit; copy_compunit ic oc compunit; close_in ic; [compunit] @@ -78,7 +77,6 @@ let copy_object_file oc name = let toc_pos = input_binary_int ic in seek_in ic toc_pos; let toc = (input_value ic : library) in - List.iter (Bytelink.check_consistency file_name) toc.lib_units; add_ccobjs toc; List.iter (copy_compunit ic oc) toc.lib_units; close_in ic; |