Remove GC overspend; running out of memory on some tinderboxes.

2026-04-30 23:03:06 +03:00 · 2011-03-08 16:32:33 -08:00
parent 01bfc3ae8b
commit 67a9532dee
1 changed files with 0 additions and 5 deletions
@@ -1,11 +1,6 @@

 open Common;;

-let _ =
-  Gc.set { (Gc.get()) with
-             Gc.space_overhead = 400; }
-;;
-
 let (targ:Common.target) =
  match Sys.os_type with