X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FtermContentPres.ml;h=6b3dcc297689783fbe1a99459cc287764c5d0511;hb=241dd3fc882e24a1d3a386a9c612aa8fc720abdb;hp=9f720e33b9a29740d414f6b5a0cd0d793ae0f2ef;hpb=9642ec8492f2ef54e280e27a40c2936a02c252f9;p=helm.git

diff --git a/components/content_pres/termContentPres.ml b/components/content_pres/termContentPres.ml
index 9f720e33b..6b3dcc297 100644
--- a/components/content_pres/termContentPres.ml
+++ b/components/content_pres/termContentPres.ml
@@ -202,7 +202,7 @@ let pp_ast0 t k =
               keyword "let"; space;
               hvbox false true [
                 aux_var var; space; builtin_symbol "\\def"; break; top_pos (k s) ];
-              break; keyword "in" ];
+              break; space; keyword "in" ];
             break;
             k t ])
     | Ast.LetRec (rec_kind, funs, where) ->