From 948cf525cfadedfc3d1ab2add79c38d598383d6f Mon Sep 17 00:00:00 2001
From: notin
Date: Tue, 10 Nov 2009 17:29:29 +0000
Subject: Correction du bug #2183

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

(limited to 'tools')

diff --git a/tools/coqdoc/index.mll b/tools/coqdoc/index.mll
index 48248d8fb9..fe3b946e52 100644
--- a/tools/coqdoc/index.mll
+++ b/tools/coqdoc/index.mll
@@ -217,7 +217,7 @@ let type_name = function
   | Library ->
       let ln = !lib_name in
         if ln <> "" then String.lowercase ln else "library"
-  | Module -> "module"
+  | Module -> "moduleid"
   | Definition -> "definition"
   | Inductive -> "inductive"
   | Constructor -> "constructor"
-- 
cgit v1.2.3