X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FobjPp.mli;h=de320bf14d9fb85f19bef203c590368924fa506a;hb=7008966fdd5b3811852f60b459572a347be932a0;hp=e007c6e7c0bf4b1157cb6948c713b4341b616f75;hpb=27ce29cfef1e71c00ee19d2c00c9f425f9efb031;p=helm.git

diff --git a/components/content_pres/objPp.mli b/components/content_pres/objPp.mli
index e007c6e7c..de320bf14 100644
--- a/components/content_pres/objPp.mli
+++ b/components/content_pres/objPp.mli
@@ -23,5 +23,6 @@
  * 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.presentation_style -> string -> Cic.obj -> string