X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic_exportation%2FcicExportation.mli;h=1f68e4e75e57e8e62e9e8f11f24db67050e0ac16;hb=b617e876fb237d885e1160c7fb1c6f392017d7ec;hp=07c2b88455a0e3c069552ec48bda1e4919906bb6;hpb=8c7fa04ccb0c54f4525de140e69065312e586465;p=helm.git

diff --git a/components/cic_exportation/cicExportation.mli b/components/cic_exportation/cicExportation.mli
index 07c2b8845..1f68e4e75 100644
--- a/components/cic_exportation/cicExportation.mli
+++ b/components/cic_exportation/cicExportation.mli
@@ -25,4 +25,5 @@
 
 (* $Id: cicPp.ml 7413 2007-05-29 15:30:53Z tassi $ *)
 
-val ppobj : Cic.obj -> string
+(* ppobj current_module_name obj *)
+val ppobj : string -> Cic.obj -> string