From 134b220b77d74b0ada801d215a2e5c66bc6726ea Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sun, 26 Nov 2017 19:18:38 +0100
Subject: Fixing associativity registered for level 10.

Apparently a long-standing bug, coupled with a pattern/constr
associativity inconsistency introduced while fixing another
pattern/constr level inconsistency (bug #4272, 0917ce7c).
---
 parsing/egramcoq.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'parsing/egramcoq.ml')

diff --git a/parsing/egramcoq.ml b/parsing/egramcoq.ml
index 2cb7da569..acbe2d982 100644
--- a/parsing/egramcoq.ml
+++ b/parsing/egramcoq.ml
@@ -35,7 +35,7 @@ let default_levels =
    100,Extend.RightA,false;
    99,Extend.RightA,true;
    90,Extend.RightA,true;
-   10,Extend.RightA,false;
+   10,Extend.LeftA,false;
    9,Extend.RightA,false;
    8,Extend.RightA,true;
    1,Extend.LeftA,false;
@@ -47,7 +47,7 @@ let default_pattern_levels =
    99,Extend.RightA,true;
    90,Extend.RightA,true;
    11,Extend.LeftA,false;
-   10,Extend.RightA,false;
+   10,Extend.LeftA,false;
    1,Extend.LeftA,false;
    0,Extend.RightA,false]
 
-- 
cgit v1.2.3