renaming in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / notation / constructors / snbind2_4.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma b/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma
index 40804a3597e80ee411aa5febc26d16db69d8fee8..b36457861c12f9d490b37e2e93aa5a8444725fc8 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma
@@ -14,6 +14,6 @@
 
 (* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
 
-notation "hvbox( ⓑ { term 46 p , break term 46 I } break term 55 T1 . break term 55 T )"
+notation "hvbox( ⓑ { term 46 p, break term 46 I } break term 55 T1. break term 55 T )"
  non associative with precedence 55
  for @{ 'SnBind2 $p $I $T1 $T }.