From a9f6f401e66c0bbf0c50801d597cd18097bf91a6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 6 Mar 2016 23:15:43 +0100
Subject: Expurging grammar.mllib from uselessly linked modules.

---
 grammar/grammar.mllib | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib
index fc7cb392bf..296d32dc04 100644
--- a/grammar/grammar.mllib
+++ b/grammar/grammar.mllib
@@ -29,35 +29,22 @@ CStack
 Util
 Ppstyle
 Errors
-Bigint
 Predicate
 Segmenttree
 Unicodetable
 Unicode
 Genarg
 
-Evar
 Names
 
-Libnames
-
-Redops
-Miscops
-Locusops
-
 Stdarg
 Constrarg
-Constrexpr_ops
 
 Tok
 Compat
 Lexer
 Entry
 Pcoq
-G_prim
-G_tactic
-G_ltac
-G_constr
 
 Q_util
 Egramml
-- 
cgit v1.2.3