diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqdoc/index.mll | 2 |
1 files changed, 1 insertions, 1 deletions
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" |