From c094d00faafb0a5c501323e9f3f9219db3effb68 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 2 Dec 2002 19:02:28 +0000
Subject: Associativité de constr9 et lconst à RIGHTA qui est le plus courant

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

diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4
index a32190b6d6..e73cc78941 100644
--- a/parsing/g_constr.ml4
+++ b/parsing/g_constr.ml4
@@ -181,7 +181,7 @@ GEXTEND Gram
           CDelimiters (loc,key,c) ] ]
   ;
   lconstr:
-    [ "10" NONA
+    [ "10" RIGHTA
       [ "!"; f = global; args = LIST0 constr9 -> CAppExpl (loc, f, args)
 (*
       | "!"; f = global; "with"; b = binding_list ->
@@ -196,7 +196,7 @@ GEXTEND Gram
       | c = constr9 -> (c, None) ] ]
   ;
   constr9:
-    [ NONA [ c1 = constr -> c1
+    [ RIGHTA [ c1 = constr -> c1
       | c1 = constr; "::"; c2 = constr -> CCast (loc, c1, c2) ] ]
   ;
   ne_name_comma_list:
-- 
cgit v1.2.3