X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FapplyTransformation.ml;fp=helm%2Fsoftware%2Fmatita%2FapplyTransformation.ml;h=21b841f4165f90586f396eb9955124e52a2a3854;hb=93cc2a2254a2620000377dfc99a7aaedf2b8ec63;hp=c504996e0d225e18ebe89e83e0188e680a0994eb;hpb=bdbe077ddb0b377823b6806adc8bece82130c992;p=helm.git

diff --git a/helm/software/matita/applyTransformation.ml b/helm/software/matita/applyTransformation.ml
index c504996e0..21b841f41 100644
--- a/helm/software/matita/applyTransformation.ml
+++ b/helm/software/matita/applyTransformation.ml
@@ -205,11 +205,11 @@ let txt_of_cic_object
           Content2pres.content2pres 
             ?skip_initial_lambdas ?skip_thm_and_qed ~ids_to_inner_sorts cobj 
         in
-        remove_closed_substs ("\n\n" ^
+        remove_closed_substs (
            BoxPp.render_to_string ~map_unicode_to_tex
             (function _::x::_ -> x | _ -> assert false) n
             (CicNotationPres.mpres_of_box bobj)
-        )
+        ^ "\n\n" )
      | G.Procedural depth ->
 (*
         PO.critical := false;