X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALMain.set_GC.html
diff --git a/documentation/code_VALMain.set_GC.html b/documentation/code_VALMain.set_GC.html
deleted file mode 100644
index 54604b1..0000000
--- a/documentation/code_VALMain.set_GC.html
+++ /dev/null
@@ -1,27 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-Main.set_GC
-
-
-let set_GC () =
- let _ = Gc.set { (Gc.get()) with Gc.minor_heap_size = 0xFFFFFF } in
- let _ = Gc.set { (Gc.get()) with Gc.major_heap_increment = 0xFFFFFF } in
- let _ = Gc.set { (Gc.get()) with Gc.space_overhead = 100 } in
- let _ = Gc.set { (Gc.get()) with Gc.max_overhead = 0xFFFFF } in
- let _ = Gc.set { (Gc.get()) with Gc.stack_limit = 0xFFFFF } in
- let _ = Gc.set { (Gc.get()) with Gc.allocation_policy = 0 } in
- ()
\ No newline at end of file