Skip to content

Commit f68ad92

Browse files
committed
old = 4.14.1
1 parent b3e498e commit f68ad92

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

vernac/library.ml

+1
Original file line numberDiff line numberDiff line change
@@ -262,6 +262,7 @@ module Intern = struct
262262
end
263263

264264
let intern_from_file file =
265+
fst @@ Gc.ramp_up @@ fun () ->
265266
let ch = raw_intern_library file in
266267
let lsd, digest_lsd = ObjFile.marshal_in_segment ch ~segment:summary_seg in
267268
let lmd, digest_lmd = ObjFile.marshal_in_segment ch ~segment:library_seg in

0 commit comments

Comments
 (0)