From 3761b6b17d43470902a221b4df77e5ca13c8021f Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 11 Feb 2015 08:23:26 +0100
Subject: Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)

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

(limited to 'tools')

diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index edf7ee8e35..20dd69f826 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -405,7 +405,7 @@ let set_kw =
 
 let gallina_kw_to_hide =
     "Implicit" space+ "Arguments"
-  | "Ltac"
+  | ("Local" space+)? "Ltac"
   | "Require"
   | "Import"
   | "Export"
-- 
cgit v1.2.3