update in ground_2

[helm.git] / matita / matita / tests / color.ma

diff --git a/matita/matita/tests/color.ma b/matita/matita/tests/color.ma
index a00c3f9ff2f6b8df72d60f3e94abb3b96f37ff73..456974c564861e23e79ea510dffcca00eaeb80f3 100644 (file)
--- 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).