From d30a7244b52e86c364320a8fa0794c7686f30074 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 23 Oct 2015 07:45:15 +0200
Subject: Support "Functional Scheme" in coqdoc. (Fix bug #4382)

---
 tools/coqdoc/cpretty.mll | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools')

diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index cb70414675..d28921674b 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -320,6 +320,7 @@ let def_token =
   | "Instance"
   | "Declare" space+ "Instance"
   | "Global" space+ "Instance"
+  | "Functional" space+ "Scheme"
 
 let decl_token =
   "Hypothesis"
-- 
cgit v1.2.3