X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fre_complete%2Flang.ma;h=510d2215c02803ec2efce63bf4352e45210d2075;hb=8f1a123e61ff079b1f9ad63cc915470ec7e6abf3;hp=430fc3f2140b002580629e498d0a89762b2a808d;hpb=0d481cc22ba8ada5781885da5398086a0b5662f3;p=helm.git

diff --git a/matita/matita/re_complete/lang.ma b/matita/matita/re_complete/lang.ma
index 430fc3f21..510d2215c 100644
--- a/matita/matita/re_complete/lang.ma
+++ b/matita/matita/re_complete/lang.ma
@@ -10,7 +10,7 @@ interpretation "epsilon" 'epsilon = (nil ?).
 (* concatenation *)
 definition cat : ∀S,l1,l2,w.Prop ≝ 
   λS.λl1,l2.λw:word S.∃w1,w2.w1 @ w2 = w ∧ l1 w1 ∧ l2 w2.
-notation "a · b" non associative with precedence 60 for @{ 'middot $a $b}.
+notation "a · b" non associative with precedence 65 for @{ 'middot $a $b}.
 interpretation "cat lang" 'middot a b = (cat ? a b).
 
 let rec flatten (S : DeqSet) (l : list (word S)) on l : word S ≝