X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FtermContentPres.ml;h=6b3dcc297689783fbe1a99459cc287764c5d0511;hb=b19dc7f6536f70b2dc911e8b78538dfcc64b6d4a;hp=9f720e33b9a29740d414f6b5a0cd0d793ae0f2ef;hpb=64d7a7dfa840d7279f9af64240ee1f8a69181801;p=helm.git

diff --git a/helm/software/components/content_pres/termContentPres.ml b/helm/software/components/content_pres/termContentPres.ml
index 9f720e33b..6b3dcc297 100644
--- a/helm/software/components/content_pres/termContentPres.ml
+++ b/helm/software/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) ->