X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite%2FgrafiteAstPp.mli;h=6594d2137ff70963139a9fd00c8bd5868aab046f;hb=729e08f5fb86b3ffee460fda4577b024ab5888aa;hp=4ae11a59b3fa64df67f46f150fd583fe300dac50;hpb=d284dd23d0e12a62a001d3473eadf4942d12ffaa;p=helm.git

diff --git a/matita/components/grafite/grafiteAstPp.mli b/matita/components/grafite/grafiteAstPp.mli
index 4ae11a59b..6594d2137 100644
--- a/matita/components/grafite/grafiteAstPp.mli
+++ b/matita/components/grafite/grafiteAstPp.mli
@@ -43,14 +43,7 @@ val pp_reduction_kind:
   'a GrafiteAst.reduction ->
     string
 
-val pp_command:
- term_pp:('term -> string) ->
-  obj_pp:('obj -> string) ->
-   ('term,'obj) GrafiteAst.command -> string
-val pp_macro: 
-  term_pp:('term -> string) -> 
-  lazy_term_pp:('lazy_term -> string) ->
-    ('term,'lazy_term) GrafiteAst.macro -> string
+val pp_command: GrafiteAst.command -> string
 val pp_comment:
   map_unicode_to_tex:bool ->
   term_pp:('term -> string) ->