From a2f4fa2a6a4b5dbd61ded904233c24ebc9a16c11 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 5 Sep 2003 15:34:43 +0000
Subject: [PATCH] fixed associativity of some (all!) binary operators

---
 helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly b/helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly
index f5aa71417..709e23f18 100644
--- a/helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly
+++ b/helm/ocaml/tex_cic_textual_parser/texCicTextualParser.mly
@@ -162,9 +162,9 @@
 %token RPLUS RMINUS RTIMES RDIV
 %token PLUS MINUS TIMES EQT EQ
 %right ARROW
-%right EQ EQT
-%right PLUS MINUS RPLUS RMINUS
-%right TIMES RTIMES RDIV
+%nonassoc EQ EQT
+%left PLUS MINUS RPLUS RMINUS
+%left TIMES RTIMES RDIV
 %start main
 %type <CicTextualParser0.interpretation_domain_item list * (CicTextualParser0.interpretation -> Cic.term)> main
 %%
-- 
2.39.2