From 12ca0c207832ee3138c3015726b4f7e615887cc5 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Wed, 20 Jun 2012 09:35:09 +0000
Subject: Install compat5 module with grammar.cma

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

diff --git a/Makefile.common b/Makefile.common
index ea6a810dde..a9a87e2f0a 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -160,7 +160,7 @@ CORECMA:=lib/clib.cma lib/lib.cma kernel/kernel.cma library/library.cma \
         printing/printing.cma parsing/parsing.cma tactics/tactics.cma \
 	toplevel/toplevel.cma parsing/highparsing.cma tactics/hightactics.cma
 
-GRAMMARCMA:=grammar/grammar.cma
+GRAMMARCMA:=tools/compat5.cmo grammar/grammar.cma
 
 OMEGACMA:=plugins/omega/omega_plugin.cma
 ROMEGACMA:=plugins/romega/romega_plugin.cma
-- 
cgit v1.2.3