X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FobjPp.mli;h=9367661ec4c782ad2baca66b9579ef6c74f13aff;hb=5f00ef380aafdaae93a40a3a47491d43ec9c3a62;hp=e007c6e7c0bf4b1157cb6948c713b4341b616f75;hpb=bdf989481462c1185c9cbbfdd4b31d13aa4352b3;p=helm.git

diff --git a/helm/software/components/content_pres/objPp.mli b/helm/software/components/content_pres/objPp.mli
index e007c6e7c..9367661ec 100644
--- a/helm/software/components/content_pres/objPp.mli
+++ b/helm/software/components/content_pres/objPp.mli
@@ -23,5 +23,5 @@
  * http://helm.cs.unibo.it/
  *)
 
-val obj_to_string:   int -> Cic.obj -> string
-
+(* columns, rendering style, name prefix, object *)
+val obj_to_string: int -> GrafiteAst.style -> string -> Cic.obj -> string