From 3e96002677226c0cdaa8f355938a76cfb37a722a Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 14 Oct 2010 17:51:11 +0200
Subject: Imported Upstream version 8.3

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

(limited to 'tools/coqdoc/cpretty.mll')

diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index d24093ff..a23a4f74 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -7,7 +7,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: cpretty.mll 13323 2010-07-24 15:57:30Z herbelin $ i*)
+(*i $Id: cpretty.mll 13440 2010-09-19 20:21:12Z herbelin $ i*)
 
 (*s Utility functions for the scanners *)
 
@@ -326,6 +326,7 @@ let def_token =
   | "CoInductive"
   | "Equations"
   | "Instance"
+  | "Declare" space+ "Instance"
   | "Global" space+ "Instance"
 
 let decl_token =
-- 
cgit v1.2.3