---

graydon · graydon · commit 0210d63186d2 · 2011-03-08T16:32:39.000-08:00
yaml --- r: 1559 b: refs/heads/master c: 67a9532 h: refs/heads/master i: 1557: f072358 1555: 99d9390 1551: f06bc5a v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 01bfc3ae8bff5131cfd1db748ca996bdb86e100e
+refs/heads/master: 67a9532dee0eb8eefc77d0c4885bcfe170e2a6ef
diff --git a/trunk/src/boot/driver/main.ml b/trunk/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
 

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 01bfc3ae8bff5131cfd1db748ca996bdb86e100e`
	`2`	`+refs/heads/master: 67a9532dee0eb8eefc77d0c4885bcfe170e2a6ef`