update in delayed_updating

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / notation / relations / black_rightarrow_if_3.ma

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 d2568773ab2c7281cbae90e2b71dd1cbe133c4af..90fe54b75f0b234ffbcb71dc0560eec679cb1c91 100644 (file)
--- 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 }.