X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Fdama%2Fdama_didactic%2Freals.ma;h=1474d4b7d01deb80989b7b0f151f278b47531397;hb=eaaea3c18083de3e442e939768ff450d3b093911;hp=4dffb53fb45000d9ea2bc76524486d5b36e5d90d;hpb=dc66c8d89a5147178ccdacb8341ed26c9c52f06b;p=helm.git

diff --git a/matita/matita/contribs/dama/dama_didactic/reals.ma b/matita/matita/contribs/dama/dama_didactic/reals.ma
index 4dffb53fb..1474d4b7d 100644
--- a/matita/matita/contribs/dama/dama_didactic/reals.ma
+++ b/matita/matita/contribs/dama/dama_didactic/reals.ma
@@ -32,7 +32,7 @@ interpretation "real plus" 'plus x y = (Rplus x y).
 interpretation "real opp" 'uminus x = (Ropp x). 
 
 notation "hvbox(a break · b)"
-  right associative with precedence 55
+  right associative with precedence 60
 for @{ 'mult $a $b }.
 
 interpretation "real mult" 'mult x y = (Rmult x y).