X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Ftests%2Fcolor.ma;h=456974c564861e23e79ea510dffcca00eaeb80f3;hb=d9a1ff8259a7882caa0ffd27282838c00a34cab5;hp=a00c3f9ff2f6b8df72d60f3e94abb3b96f37ff73;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/tests/color.ma b/matita/matita/tests/color.ma
index a00c3f9ff..456974c56 100644
--- a/matita/matita/tests/color.ma
+++ b/matita/matita/tests/color.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 notation < "mstyle mathsize big color #ff0000 background #0000ff scriptsizemultiplier 0.8 (x)" 
- non associative with precedence 50 for @{'red $x}.
+ non associative with precedence 55 for @{'red $x}.
 
 definition red : ∀X:Type.∀t:X.X ≝ λT.λt.t.
 interpretation "red" 'red x = (red _ x).