From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 5 Sep 2003 15:34:43 +0000 (+0000)
Subject: fixed associativity of some (all!) binary operators
X-Git-Tag: v0_0_1~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a2f4fa2a6a4b5dbd61ded904233c24ebc9a16c11;hp=0583c44e19ee683efab796bf21904bbfc64fbf1e;p=helm.git

fixed associativity of some (all!) binary operators
---

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
 %%