From 2b877400967387a5364c1e630c91efacae3c7c8a Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Thu, 2 Jul 2020 20:02:57 -0700
Subject: Correct comment and clarify constant

---
 toplevel/coqtop.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 2d450d430a..80123757ec 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -161,7 +161,7 @@ let init_gc () =
      * In this case, we put in place our preferred configuration.
      *)
     Gc.set { (Gc.get ()) with
-             Gc.minor_heap_size = 33554432; (* 4M *)
+             Gc.minor_heap_size = 32*1024*1024; (* 32Mwords x 8 bytes/word = 256Mb *)
              Gc.space_overhead = 120}
 
 let init_process () =
-- 
cgit v1.2.3