X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FapplyTransformation.ml;h=5d81d922496e28be36697bb59b77dd74af9f94f1;hb=b16ac59fc9bf8e90739f95450e531faaefc4018f;hp=3cfaff52637177e736ff14ea6a8a99ac84f94ae5;hpb=c6ecfe8fff2265abfedbbe33a171c26b0d8c7c4e;p=helm.git

diff --git a/matita/applyTransformation.ml b/matita/applyTransformation.ml
index 3cfaff526..5d81d9224 100644
--- a/matita/applyTransformation.ml
+++ b/matita/applyTransformation.ml
@@ -200,7 +200,7 @@ let txt_of_cic_object
   in
         String.concat "" (List.map aux script) ^ "\n\n"
 
-let txt_of_inline_macro style suri prefix =
+let txt_of_inline_macro ?map_unicode_to_tex style suri prefix =
    let print_exc = function
       | ProofEngineHelpers.Bad_pattern s as e ->
            Printexc.to_string e ^ " " ^ Lazy.force s
@@ -209,8 +209,10 @@ let txt_of_inline_macro style suri prefix =
    let dbd = LibraryDb.instance () in   
    let sorted_uris = MetadataDeps.sorted_uris_of_baseuri ~dbd suri in
    let map uri =
-      try txt_of_cic_object 78 style prefix (* FG: mi pare meglio 78 *)
-                            (fst (CicEnvironment.get_obj CicUniv.empty_ugraph uri))
+      try 
+        txt_of_cic_object 
+          ?map_unicode_to_tex 78 style prefix
+          (fst (CicEnvironment.get_obj CicUniv.empty_ugraph uri))
       with
          | e -> 
             Printf.sprintf "\n(* ERRORE IN STAMPA DI %s\nEXCEPTION: %s *)\n"