From 208a0f7bfa5249f9795e6e225f309cbe715c0fad Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Tue, 21 Nov 2006 21:38:49 +0000
Subject: Imported Upstream version 8.1~gamma

---
 .depend.camlp4 | 1 +
 1 file changed, 1 insertion(+)

(limited to '.depend.camlp4')

diff --git a/.depend.camlp4 b/.depend.camlp4
index e1a671bc..895c7857 100644
--- a/.depend.camlp4
+++ b/.depend.camlp4
@@ -42,6 +42,7 @@ parsing/argextend.ml:
 parsing/tacextend.ml: 
 parsing/vernacextend.ml: 
 parsing/q_constr.ml: 
+parsing/g_decl_mode.ml: parsing/grammar.cma
 toplevel/mltop.ml: 
 lib/pp.ml: 
 lib/compat.ml: 
-- 
cgit v1.2.3