update in alpha_1

[helm.git] / matita / matita / contribs / lambdadelta / static_2 / syntax / term.ma

diff --git a/matita/matita/contribs/lambdadelta/static_2/syntax/term.ma b/matita/matita/contribs/lambdadelta/static_2/syntax/term.ma
index 0a6f97872a2e199d22d582cc0b087b8edadae198..cec29d172aff8ac95e845e825ce3a9f7e09b740d 100644 (file)
--- 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