X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FapplyTransformation.mli;h=b5b5969277ae3810c4b0ed6960e5d7d654af5d50;hb=907f919aba0f21b18acff8a8e1c266ab92d10baf;hp=1b1b749e7653318e8c7c860b5217ac573b843e4e;hpb=0fde70bd19b8fdfa72b807b9713a02ad1bd91b5b;p=helm.git

diff --git a/matita/matita/applyTransformation.mli b/matita/matita/applyTransformation.mli
index 1b1b749e7..b5b596927 100644
--- a/matita/matita/applyTransformation.mli
+++ b/matita/matita/applyTransformation.mli
@@ -114,11 +114,6 @@ val txt_of_cic_object_all:
        (Cic.id, Cic2acic.sort_kind) Hashtbl.t * (* ids_to_inner_sorts *)
        (Cic.id, Cic2acic.anntypes) Hashtbl.t))  (* ids_to_inner_types *)
 
-(* params, uri or baseuri *)
-val txt_of_inline_macro:
-  map_unicode_to_tex:bool -> GrafiteAst.inline_param list -> string ->
-    string
-
 val txt_of_macro:
   map_unicode_to_tex:bool ->
     Cic.metasenv ->