X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite%2FgrafiteAstPp.mli;h=4ae11a59b3fa64df67f46f150fd583fe300dac50;hb=38ec119c163b0e6f97a9800933d5b71c065332e8;hp=8f6904545d70e7c709f2a52d4be2ce68036efccc;hpb=75de1f4c87166f120d8bb42d98926adaf407c98c;p=helm.git

diff --git a/helm/software/components/grafite/grafiteAstPp.mli b/helm/software/components/grafite/grafiteAstPp.mli
index 8f6904545..4ae11a59b 100644
--- a/helm/software/components/grafite/grafiteAstPp.mli
+++ b/helm/software/components/grafite/grafiteAstPp.mli
@@ -78,10 +78,5 @@ val pp_statement:
   map_unicode_to_tex:bool ->
     string
 
-val pp_punctuation_tactical:
-  term_pp:('term -> string) ->
-  lazy_term_pp:('lazy_term -> string) ->
-  ('term, 'lazy_term, 'term GrafiteAst.reduction, string)
-  GrafiteAst.punctuation_tactical ->
-    string
+val pp_punctuation_tactical: GrafiteAst.punctuation_tactical -> string