From 9330bf650ca602884c5c4c69c2fb3e94ee32838b Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 14 Dec 2012 09:26:08 +0000
Subject: Implemented a full-fledged equality on [constr_expr]. By the way,
 some cleaning of the interface and moving of code.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16066 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 grammar/grammar.mllib | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'grammar')

diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib
index 757df76a6a..50eac6e76f 100644
--- a/grammar/grammar.mllib
+++ b/grammar/grammar.mllib
@@ -34,7 +34,10 @@ Argextend
 Tacextend
 Vernacextend
 
+Nameops
 Redops
+Miscops
+Glob_ops
 Constrexpr_ops
 Locusops
 G_prim
-- 
cgit v1.2.3