X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fcontent_pres%2FtermContentPres.ml;h=9f720e33b9a29740d414f6b5a0cd0d793ae0f2ef;hb=dd5b3afb330c2efc69b97cc8762b71bd86685acd;hp=a8bfe114746f5c9d79968d7c96141de6d8f27646;hpb=f9512e878bd27f8cb5261bb18b0da0d42c8184d0;p=helm.git

diff --git a/components/content_pres/termContentPres.ml b/components/content_pres/termContentPres.ml
index a8bfe1147..9f720e33b 100644
--- a/components/content_pres/termContentPres.ml
+++ b/components/content_pres/termContentPres.ml
@@ -199,9 +199,9 @@ let pp_ast0 t k =
         add_level_info Ast.let_in_prec Ast.let_in_assoc
           (hvbox false true [
             hvbox false true [
-              keyword "let";
+              keyword "let"; space;
               hvbox false true [
-                aux_var var; builtin_symbol "\\def"; break; top_pos (k s) ];
+                aux_var var; space; builtin_symbol "\\def"; break; top_pos (k s) ];
               break; keyword "in" ];
             break;
             k t ])