From 8d99e4bf4c54e9eabb0910740f79375ff399b844 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 30 Oct 2015 16:10:33 +0100
Subject: Fix typo.

---
 ide/coqOps.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/coqOps.ml')

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index ba9ab9672..c7e0810fd 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -559,7 +559,7 @@ object(self)
         if Queue.is_empty queue then conclude topstack else
         match Queue.pop queue, topstack with
         | `Skip(start,stop), [] ->
-            logger Pp.Error "You muse close the proof with Qed or Admitted";
+            logger Pp.Error "You must close the proof with Qed or Admitted";
             self#discard_command_queue queue;
             conclude [] 
         | `Skip(start,stop), (_,s) :: topstack ->
-- 
cgit v1.2.3