X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FobjPp.mli;h=de320bf14d9fb85f19bef203c590368924fa506a;hb=77d56df4d446307199a9d4e03478260c6c63baf8;hp=9367661ec4c782ad2baca66b9579ef6c74f13aff;hpb=34259adcd8a36e85f3224c7074c74aef878f1856;p=helm.git

diff --git a/helm/software/components/content_pres/objPp.mli b/helm/software/components/content_pres/objPp.mli
index 9367661ec..de320bf14 100644
--- a/helm/software/components/content_pres/objPp.mli
+++ b/helm/software/components/content_pres/objPp.mli
@@ -24,4 +24,5 @@
  *)
 
 (* columns, rendering style, name prefix, object *)
-val obj_to_string: int -> GrafiteAst.style -> string -> Cic.obj -> string
+val obj_to_string: 
+   int -> GrafiteAst.presentation_style -> string -> Cic.obj -> string