X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic_exportation%2FcicExportation.mli;h=4d1c82c868ad19816e0a7c00142d7c54819f847c;hb=77c2a38d7ad4098eed354f68456411227230a3a2;hp=1f68e4e75e57e8e62e9e8f11f24db67050e0ac16;hpb=127781aeff80e54f2c5d80ef6ffbe4ef27b24b38;p=helm.git

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