diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml
index 9705f1ee7b11..ddcbc9afd707 100644
--- a/src/boot/driver/main.ml
+++ b/src/boot/driver/main.ml
@@ -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