From 3282d210cc6b6fb3c7d9756d4b2a6c6fdbd93ce8 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 13 Nov 2012 13:29:35 +0000
Subject: Another GC test

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15965 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/coqtop.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 84fca99333..e8e924d523 100644
--- a/toplevel/coqtop.ml
+++ b/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
-- 
cgit v1.2.3