From b65600bf41beefc695478ee19049b2a84186e7ad Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 5 Nov 2000 21:24:26 +0000
Subject: Nouveau mode de compilation de .ml4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@805 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_proofs.ml4 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/parsing/g_proofs.ml4 b/parsing/g_proofs.ml4
index 3f1087c674..0f0d70f8b3 100644
--- a/parsing/g_proofs.ml4
+++ b/parsing/g_proofs.ml4
@@ -1,4 +1,6 @@
 
+(*i camlp4deps: "parsing/grammar.cma" i*)
+
 (* $Id$ *)
 
 open Pcoq
-- 
cgit v1.2.3