diff options
| author | Jim Fehrle | 2020-07-02 20:02:57 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-07-02 20:02:57 -0700 |
| commit | 2b877400967387a5364c1e630c91efacae3c7c8a (patch) | |
| tree | b013e753cd28502abd601e360155589191e25465 | |
| parent | b017e302f69f20fc4fc3d4088a305194f6c387fa (diff) | |
Correct comment and clarify constant
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 () = |