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

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