From 3c97392d5acbaddad6714fa097ff4ec7bb3e6d29 Mon Sep 17 00:00:00 2001
From: glondu
Date: Mon, 15 Sep 2008 15:13:51 +0000
Subject: Add types introduced by subtac in *.glob files

Hints from compilation warnings

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

diff --git a/tools/coqdoc/index.mll b/tools/coqdoc/index.mll
index 9daec6b554..6a61571c68 100644
--- a/tools/coqdoc/index.mll
+++ b/tools/coqdoc/index.mll
@@ -420,7 +420,7 @@ and module_refs = parse
 
 {
   let type_of_string = function
-    | "def" | "coe" | "subclass" | "canonstruc" 
+    | "def" | "coe" | "subclass" | "canonstruc" | "fix" | "cofix"
     | "ex" | "scheme" -> Definition
     | "prf" | "thm" -> Lemma
     | "ind" | "coind" -> Inductive
-- 
cgit v1.2.3