X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/8689b48b5ce6b24b36c16889e84f439823cabdc1..e4c4706aa217ba2c8fca216860764ad5ef7d740a:/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 "";;