diff options
Diffstat (limited to 'bytecomp/emitcode.ml')
| -rw-r--r-- | bytecomp/emitcode.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index 9e70bebd9c..bd3c3f2fb5 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -416,8 +416,9 @@ let to_file outchan unit_name objfile ~required_globals code = (Filename.dirname (Location.absolute_path objfile)) !debug_dirs; let p = pos_out outchan in - output_value outchan !events; - output_value outchan (String.Set.elements !debug_dirs); + Marshal.(to_channel outchan !events [Compression]); + Marshal.(to_channel outchan (String.Set.elements !debug_dirs) + [Compression]); (p, pos_out outchan - p) end else (0, 0) in |