From 13c50b98b0a294a6056d2e00a0de44cedca7af12 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 16 Feb 2016 20:03:45 +0100
Subject: Removing dead code in Pcoq.

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

(limited to 'grammar')

diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib
index ae18925ead..42fc738783 100644
--- a/grammar/grammar.mllib
+++ b/grammar/grammar.mllib
@@ -11,10 +11,6 @@ Loc
 CList
 CString
 
-Segmenttree
-Unicodetable
-Unicode
-
 Tok
 Compat
 
-- 
cgit v1.2.3