cic_unification removed

[helm.git] / matita / matita / applyTransformation.mli

diff --git a/matita/matita/applyTransformation.mli b/matita/matita/applyTransformation.mli
index 1b1b749e7653318e8c7c860b5217ac573b843e4e..b5b5969277ae3810c4b0ed6960e5d7d654af5d50 100644 (file)
--- 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 ->