X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Fsets%2Fsetoids2.ma;h=34036a48b37becddc01b1538ab9d4e46e3d831e9;hb=e8fbe5898b3214a5b0c4d48e8c9d1ee55f3415cc;hp=578503f6ced96fd59baab50cee6065432b028446;hpb=a8285ad2e16e571100a666bc9178347d9e61dbe5;p=helm.git

diff --git a/helm/software/matita/nlibrary/sets/setoids2.ma b/helm/software/matita/nlibrary/sets/setoids2.ma
index 578503f6c..34036a48b 100644
--- a/helm/software/matita/nlibrary/sets/setoids2.ma
+++ b/helm/software/matita/nlibrary/sets/setoids2.ma
@@ -40,7 +40,7 @@ notation > "hvbox(a break =_12 b)" non associative with precedence 45
 for @{ eq_rel2 (carr2 (setoid2_of_setoid1 ?)) (eq2 (setoid2_of_setoid1 ?)) $a $b }.
 *)
 notation > "hvbox(a break =_0 b)" non associative with precedence 45
-for @{ eq_rel ? (eq ?) $a $b }.
+for @{ eq_rel ? (eq0 ?) $a $b }.
 notation > "hvbox(a break =_1 b)" non associative with precedence 45
 for @{ eq_rel1 ? (eq1 ?) $a $b }.
 notation > "hvbox(a break =_2 b)" non associative with precedence 45