From df75cf61c8fb77a0b0097c761d42cf6057f11805 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 11 Jan 2000 09:34:10 +0000
Subject: Ajout '|' en tete de filtrage

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

diff --git a/parsing/g_corevernac.ml4 b/parsing/g_corevernac.ml4
index c6564d47c6..b8f5b30394 100644
--- a/parsing/g_corevernac.ml4
+++ b/parsing/g_corevernac.ml4
@@ -51,7 +51,7 @@ GEXTEND Gram
   (* Syntax entries for Grammar. Only grammar_entry is exported *)
   Prim.grammar_entry:
     [[ nont = Prim.ident; etyp = Prim.entry_type; ":=";
-       ep = entry_prec; rl = LIST0 grammar_rule SEP "|" ->
+       ep = entry_prec; OPT "|"; rl = LIST0 grammar_rule SEP "|" ->
          <:ast< (GRAMMARENTRY $nont $etyp $ep ($LIST rl)) >> ]]
   ;
   entry_prec:
@@ -83,7 +83,8 @@ GEXTEND Gram
 
   (* Syntax entries for Syntax. Only syntax_entry is exported *)
   Prim.syntax_entry:
-    [ [ IDENT "level"; p = precedence; ":"; rl = LIST1 syntax_rule SEP "|" ->
+    [ [ IDENT "level"; p = precedence; ":";
+	OPT "|"; rl = LIST1 syntax_rule SEP "|" ->
           <:ast< (SYNTAXENTRY $p ($LIST $rl)) >> ] ]
   ;
   syntax_rule:
-- 
cgit v1.2.3