X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/8c48d01c4b78dba6159c13438b06cb7e07a1f338..42d607127a467ca737dd903ad007d50a54533cf0:/interpretor/main.ml?ds=sidebyside

diff --git a/interpretor/main.ml b/interpretor/main.ml
index a99a7a5..21c2a8e 100644
--- a/interpretor/main.ml
+++ b/interpretor/main.ml
@@ -21,18 +21,18 @@ 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 "";;
 let size_input = ref 0;;
 let inputs = ref [];;
 let time_max = ref 0xFFFF;;
-let dir_output = ref "../output_sounds/";;
+let dir_output = ref "";;
 let format_output = ref "wav";;
 let basename_output = ref "output";;