From 9256b2eae87f342473dccc05308ffe4758780795 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 26 Feb 2015 14:33:20 +0100
Subject: Typos in doc modules.

---
 doc/refman/RefMan-mod.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/refman/RefMan-mod.tex b/doc/refman/RefMan-mod.tex
index 0e7b39c751..f48cf6abf5 100644
--- a/doc/refman/RefMan-mod.tex
+++ b/doc/refman/RefMan-mod.tex
@@ -74,9 +74,9 @@ This command is used to start an interactive module named {\ident}.
 \item {\tt Include {\module}}
 
   Includes the content of {\module} in the current interactive
- module. Here {\module} can be a module expresssion or a module type
+ module. Here {\module} can be a module expression or a module type
  expression. If {\module} is a high-order module or module type
- expression then the system tries to instanciate {\module}
+ expression then the system tries to instantiate {\module}
  by the current interactive module.
 
 \item {\tt Include {\module$_1$} \verb.<+. $\ldots$ \verb.<+. {\module$_n$}} 
-- 
cgit v1.2.3