From aa98cbeaa05796ae7bc8a5e4f94954e634695ea0 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 30 Dec 2005 10:52:19 +0000
Subject: Mini-restructuration

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7761 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/extend.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'parsing/extend.mli')

diff --git a/parsing/extend.mli b/parsing/extend.mli
index b092e766b..1fc8800ef 100644
--- a/parsing/extend.mli
+++ b/parsing/extend.mli
@@ -13,8 +13,10 @@ open Util
 (**********************************************************************)
 (* constr entry keys                                                  *)
 
+type side = Left | Right
+
 type production_position =
-  | BorderProd of bool * Gramext.g_assoc option  (* true=left; false=right *)
+  | BorderProd of side * Gramext.g_assoc option  (* true=left; false=right *)
   | InternalProd
 
 type production_level =
-- 
cgit v1.2.3