diff options
| author | Nick Lewycky | 2018-08-28 14:46:09 -0700 |
|---|---|---|
| committer | Nick Lewycky | 2018-08-28 14:46:09 -0700 |
| commit | e00dc32b1d533859a023834f91ede66f5240ad5a (patch) | |
| tree | a47977499817afdeab51df84dc075f92eb3c521c | |
| parent | da4e768c7cbbf5b72137c19691781b282b977e71 (diff) | |
Fix typo in comment, sollicited --> solicited.
| -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 9b68f303a6..bdd33e10ef 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -384,7 +384,7 @@ let print_style_tags opts = (** GC tweaking *) (** Coq is a heavy user of persistent data structures and symbolic ASTs, so the - minor heap is heavily sollicited. Unfortunately, the default size is far too + minor heap is heavily solicited. Unfortunately, the default size is far too small, so we enlarge it a lot (128 times larger). To better handle huge memory consumers, we also augment the default major |