From 091824ae0f9bffcdee757bbd048e8a0f63cc5054 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 12 Mar 2013 20:59:37 +0000
Subject: Updated Exninfo to the new Store type.

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

(limited to 'grammar')

diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib
index e16f181e6f..bdfbbf515b 100644
--- a/grammar/grammar.mllib
+++ b/grammar/grammar.mllib
@@ -1,8 +1,10 @@
 Coq_config
 
+Int
+Option
+Store
 Exninfo
 Backtrace
-Int
 Pp_control
 Flags
 Pp
@@ -17,7 +19,6 @@ CArray
 Util
 Bigint
 Predicate
-Option
 Segmenttree
 Unicodetable
 Unicode
-- 
cgit v1.2.3