diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 13:17:15 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 13:17:15 +0000 |
| commit | bd39426c54f78214dfe59c24ddf505e87f83db1e (patch) | |
| tree | ff9891e836ccd51399b0bb8e13cf82d5cd68c93c /toplevel/expunge.ml | |
| parent | 72a34f9f6bd59886b9fa8ae5f7cbd9d124050960 (diff) | |
Suppression de output_compact_value.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@192 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/expunge.ml')
| -rw-r--r-- | toplevel/expunge.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml index 9ed6930a7..fd68f64de 100644 --- a/toplevel/expunge.ml +++ b/toplevel/expunge.ml @@ -47,7 +47,7 @@ let main () = (* Read, expunge and rewrite the symbol section *) let global_map = (input_value ic : Symtable.global_map) in let pos1 = pos_out oc in - output_compact_value oc (expunge_map global_map); + output_value oc (expunge_map global_map); let pos2 = pos_out oc in (* Rewrite the trailer *) output_binary_int oc code_size; |