Skip to content
Browse files

Another GC test

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15965 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
1 parent c02eaa8 commit 3282d210cc6b6fb3c7d9756d4b2a6c6fdbd93ce8 @ppedrot ppedrot committed Nov 13, 2012
Showing with 2 additions and 2 deletions.
  1. +2 −2 toplevel/coqtop.ml
View
4 toplevel/coqtop.ml
@@ -153,8 +153,8 @@ let init_gc () =
let control = Gc.get () in
let tweaked_control = { control with
Gc.minor_heap_size = 33554432; (** 4M *)
- Gc.major_heap_increment = 268435456; (** 32M *)
-(* Gc.space_overhead = 120; *)
+(* Gc.major_heap_increment = 268435456; (** 32M *) *)
+ Gc.space_overhead = 120;
} in
if param then ()
else Gc.set tweaked_control

0 comments on commit 3282d21

Please sign in to comment.
Something went wrong with that request. Please try again.