From 829238f2fe74c782023989e1871e15411b3e4ada Mon Sep 17 00:00:00 2001
From: Matěj Grabovský <mgrabovsky@yahoo.com>
Date: Fri, 27 Mar 2015 16:08:29 +0100
Subject: Fix various typos in documentation

Closes #57.
---
 doc/refman/RefMan-modr.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/refman/RefMan-modr.tex')

diff --git a/doc/refman/RefMan-modr.tex b/doc/refman/RefMan-modr.tex
index 9ab8aded9..2019a529f 100644
--- a/doc/refman/RefMan-modr.tex
+++ b/doc/refman/RefMan-modr.tex
@@ -2,7 +2,7 @@
 
 The module system extends the Calculus of Inductive Constructions
 providing a convenient way to structure large developments as well as
-a mean of massive abstraction.
+a means of massive abstraction.
 %It is described in details in Judicael's thesis and Jacek's thesis
 
 \section{Modules and module types}
-- 
cgit v1.2.3

