X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/blobdiff_plain/4ecbf362e0d1d0abb9a7f0e9af8322472f28f7d1..c21be74684e409aaf08937e776c6cedce35b8fc0:/interpretor/main.ml

diff --git a/interpretor/main.ml b/interpretor/main.ml
index 8637875..21c2a8e 100644
--- a/interpretor/main.ml
+++ b/interpretor/main.ml
@@ -21,11 +21,11 @@ let set_GC () =
 	let _ = Gc.set { (Gc.get()) 
 		       with Gc.space_overhead = 100 } in
 	let _ = Gc.set { (Gc.get()) 
-		       with Gc.max_overhead = 0xFFFFF } in
+		       with Gc.max_overhead = 0xFFF } in
 	let _ = Gc.set { (Gc.get()) 
 		       with Gc.stack_limit = 0xFFFFF } in
 	let _ = Gc.set { (Gc.get()) 
-		       with Gc.allocation_policy = 0 } in
+		       with Gc.allocation_policy = 1 } in
 	() ;;
 
 let path_dsp = ref "";;