From d2bb4846d7df1b40efbe45d6f28e7376a5fef19d Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 7 Jan 2012 17:26:39 +0000
Subject: Fix typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14889 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 man/coqtop.1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'man')

diff --git a/man/coqtop.1 b/man/coqtop.1
index a3b3aac40..3eab597fb 100644
--- a/man/coqtop.1
+++ b/man/coqtop.1
@@ -53,7 +53,7 @@ read state from file
 
 .TP
 .B \-nois
-start with an empty intial state
+start with an empty initial state
 
 .TP
 .BI \-outputstate filename
-- 
cgit v1.2.3