X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Fnotation%2Frelations%2Fblack_rightarrow_if_3.ma;h=90fe54b75f0b234ffbcb71dc0560eec679cb1c91;hb=119da3f9ce130f7c4e8b23fcc491d221472ad657;hp=d2568773ab2c7281cbae90e2b71dd1cbe133c4af;hpb=e4328f6887dc0235d49d965a5ba44787b1754b80;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_if_3.ma b/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_if_3.ma
index d2568773a..90fe54b75 100644
--- a/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_if_3.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_if_3.ma
@@ -15,5 +15,5 @@
 (* NOTATION FOR DELAYED UPDATING ********************************************)
 
 notation "hvbox( t1 ➡𝐢𝐟[ break term 46 r ] break term 46 t2 )"
-   non associative with precedence 45
-   for @{ 'BlackRightArrowIF $t1 $r $t2 }.
+  non associative with precedence 45
+  for @{ 'BlackRightArrowIF $t1 $r $t2 }.