From 756bd5078f59e9344b200bb04ffe8219835c65b6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 4 Jul 2006 16:36:02 +0000
Subject: Que le niveau 100 soit associatif à droite dans operconst et à gauche
 dans pattern pose problème pour les notations ajoutées à ce niveau; qu'à cela
 ne tienne, l'associativité du niveau 100 pour pattern n'est pas importante :
 on le rend RIGHTA

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9008 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_constr.ml4 | 2 +-
 parsing/pcoq.ml4     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4
index 443a105113..935f6edcfc 100644
--- a/parsing/g_constr.ml4
+++ b/parsing/g_constr.ml4
@@ -279,7 +279,7 @@ GEXTEND Gram
   ;
   pattern:
     [ "200" RIGHTA [ ]
-    | "100" LEFTA
+    | "100" RIGHTA
       [ p = pattern; "|"; pl = LIST1 pattern SEP "|" -> CPatOr (loc,p::pl) ]
     | "99" RIGHTA [ ]
     | "10" LEFTA
diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4
index 40e456061f..abe0d84265 100644
--- a/parsing/pcoq.ml4
+++ b/parsing/pcoq.ml4
@@ -485,7 +485,7 @@ let default_levels =
 
 let default_pattern_levels =
   [200,Gramext.RightA;
-   100,Gramext.LeftA;
+   100,Gramext.RightA;
    99,Gramext.RightA;
    10,Gramext.LeftA;
    0,Gramext.RightA]
-- 
cgit v1.2.3