From 02654cf9739591837ee402bff0c2ff07b9aabf40 Mon Sep 17 00:00:00 2001
From: Olivier Laurent
Date: Mon, 19 Nov 2018 15:19:51 +0100
Subject: Typo: comment does not match code

---
 doc/sphinx/user-extensions/proof-schemes.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/user-extensions/proof-schemes.rst b/doc/sphinx/user-extensions/proof-schemes.rst
index eacd7b4676..8f76085d88 100644
--- a/doc/sphinx/user-extensions/proof-schemes.rst
+++ b/doc/sphinx/user-extensions/proof-schemes.rst
@@ -167,7 +167,7 @@ Combined Scheme
 
     Combined Scheme tree_forest_mutind from tree_forest_ind,forest_tree_ind.
 
-  The type of tree_forest_mutrec will be:
+  The type of tree_forest_mutind will be:
 
   .. coqtop:: all
 
-- 
cgit v1.2.3