From 06bde04218ed4e616514534023cfb6f2599398c5 Mon Sep 17 00:00:00 2001
From: glondu
Date: Sat, 29 Aug 2009 15:44:39 +0000
Subject: Fix minor spelling error

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12300 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-com.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/refman/RefMan-com.tex b/doc/refman/RefMan-com.tex
index 1bd3d148e2..5a3c91404b 100644
--- a/doc/refman/RefMan-com.tex
+++ b/doc/refman/RefMan-com.tex
@@ -308,7 +308,7 @@ of all these libraries is then type-checked. The effect of {\tt
 and with positive exit code if an error has been found. Error messages
 are not deemed to help the user understand what is wrong. In the
 current version, it does not modify the compiled libraries to mark
-them as succesfully checked.
+them as successfully checked.
 
 Note that non-logical information is not checked. By logical
 information, we mean the type and optional body associated to names.
-- 
cgit v1.2.3