From d065ea30843729c70e3b501a331d11499ad197e7 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 28 Apr 2014 13:48:46 +0200
Subject: Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)

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

diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 6f853926fe..28480d4bd4 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -59,7 +59,7 @@ let is_keyword =
       "if"; "then"; "else"; "Prop"; "Set"; "Type"; ":="; "where"; "struct"; "wf"; "measure";
       "fix"; "cofix";
       (* Ltac *)
-      "before"; "after"; "constr"; "ltac"; "goal"; "context"; "beta"; "delta"; "iota"; "zeta";
+      "before"; "after"; "constr"; "ltac"; "goal"; "context"; "beta"; "delta"; "iota"; "zeta"; "lazymatch";
       (* Notations *)
       "level"; "associativity"; "no"
        ]
-- 
cgit v1.2.3