From 8190e7cd8e858f5336747bf2a59246753ee83502 Mon Sep 17 00:00:00 2001
From: gmelquio
Date: Fri, 30 Oct 2009 13:32:16 +0000
Subject: Removed 'dest' from keyword highlighting.

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

(limited to 'tools/coqdoc')

diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 1d68b010e6..ae35f74458 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -54,7 +54,7 @@ let is_keyword =
       "Obligation"; "Obligations"; "Solve"; "using"; "Next Obligation"; "Next";
       "Program Instance"; "Equations"; "Equations_nocomp";
       (*i (* coq terms *) *)
-      "forall"; "match"; "as"; "in"; "return"; "with"; "end"; "let"; "dest"; "fun";
+      "forall"; "match"; "as"; "in"; "return"; "with"; "end"; "let"; "fun";
       "if"; "then"; "else"; "Prop"; "Set"; "Type"; ":="; "where"; "struct"; "wf"; "measure";
       (* Ltac *)
       "before"; "after"
-- 
cgit v1.2.3