From bd35666d45c7f9e811509d2e256e2ddce758a5ee Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 10 Sep 2003 16:18:57 +0000
Subject: 9 est associatif a gauche

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4348 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/egrammar.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/egrammar.ml b/parsing/egrammar.ml
index 88c8211670..54067bf5d9 100644
--- a/parsing/egrammar.ml
+++ b/parsing/egrammar.ml
@@ -57,7 +57,7 @@ let default_levels_v8 =
    80,Gramext.RightA;
    40,Gramext.LeftA;
    10,Gramext.LeftA;
-   9,Gramext.RightA;
+   9,Gramext.LeftA;
    1,Gramext.LeftA;
    0,Gramext.RightA]
 
-- 
cgit v1.2.3