From 6dc17c669ba3bea2bdd6cc20f7c873249d92fe5c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 30 Dec 2005 11:01:46 +0000
Subject: Correction dépendance g_prim.ml4/q_coqast.ml4

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

diff --git a/Makefile b/Makefile
index c01b4ee775..e462452d62 100644
--- a/Makefile
+++ b/Makefile
@@ -1282,7 +1282,7 @@ otags:
 # grammar modules with camlp4
 
 ML4FILES += parsing/lexer.ml4 parsing/pcoq.ml4 parsing/q_util.ml4 \
-   # parsing/q_coqast.ml4 parsing/g_prim.ml4 
+  parsing/q_coqast.ml4 parsing/g_prim.ml4 
 
 GRAMMARNEEDEDCMO=\
   lib/pp_control.cmo lib/pp.cmo lib/compat.cmo lib/util.cmo lib/bigint.cmo \
-- 
cgit v1.2.3