X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fstatic_2%2Fsyntax%2Fterm.ma;h=cec29d172aff8ac95e845e825ce3a9f7e09b740d;hb=caf822cbe34e204e6d1b72e272373b561c1a565a;hp=0a6f97872a2e199d22d582cc0b087b8edadae198;hpb=e23331eef5817eaa6c5e1c442d1d6bbb18650573;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/static_2/syntax/term.ma b/matita/matita/contribs/lambdadelta/static_2/syntax/term.ma
index 0a6f97872..cec29d172 100644
--- a/matita/matita/contribs/lambdadelta/static_2/syntax/term.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/syntax/term.ma
@@ -49,7 +49,7 @@ interpretation
   'SnItem2 I T1 T2 = (TPair I T1 T2).
 
 interpretation
-   "term binding construction (binary)"
+  "term binding construction (binary)"
   'SnBind2 p I T1 T2 = (TPair (Bind2 p I) T1 T2).
 
 interpretation