From 751620c70bd3a77ed8fde7cca9e3893f339643b3 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 27 Oct 2000 08:46:13 +0000
Subject: g_natsyntax et g_zsyntax maintenant toujours linkes

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

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index ffa62cdf4a..0723aec671 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -44,7 +44,7 @@ let camlp4objs =
    "q_coqast.cmo" ]
 let topobjs = camlp4objs
 
-let gramobjs = ["g_zsyntax.cmo"; "g_natsyntax.cmo"]
+let gramobjs = []
 let notopobjs = gramobjs
 
 (* 5. High-level tactics objects *)
-- 
cgit v1.2.3