From e00dc32b1d533859a023834f91ede66f5240ad5a Mon Sep 17 00:00:00 2001
From: Nick Lewycky
Date: Tue, 28 Aug 2018 14:46:09 -0700
Subject: Fix typo in comment, sollicited --> solicited.

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

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
-- 
cgit v1.2.3