X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;fp=main.ml;h=76f80893ed355d4e4844415bd19c83409fa180e2;hb=861944c24f8cad360fb9478cb0a15863cb52e803;hp=1e145d112e05ca427bd8da44fdb8bfc47728906e;hpb=ac8720a930e5757a72f73e80aff7a988b0082831;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index 1e145d1..76f8089 100644
--- a/main.ml
+++ b/main.ml
@@ -11,7 +11,7 @@ let () = init_timer();;
 
 let default_gc = Gc.get()
 let tuned_gc = { Gc.get() with
-		   Gc.minor_heap_size = 1024*1024; 
+		   Gc.minor_heap_size = 4*1024*1024;
 		   Gc.major_heap_increment = 1024*1024;
 		   Gc.max_overhead = 1000000;
 		  }