X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic_unification%2FcicRefine.mli;h=be1069e716ef35459836f464921e77b9315fee05;hb=3077a8a3657bba79d3edad3fb483122ea3126b72;hp=c3ab49e0abd84dd19a79de242dffb25999928e79;hpb=9393a9f9370014c904244358abe4ec6e11a9d158;p=helm.git

diff --git a/components/cic_unification/cicRefine.mli b/components/cic_unification/cicRefine.mli
index c3ab49e0a..be1069e71 100644
--- a/components/cic_unification/cicRefine.mli
+++ b/components/cic_unification/cicRefine.mli
@@ -46,6 +46,5 @@ val typecheck :
 
 val insert_coercions: bool ref (* initially true *)
 
-(* given a closed term returns it with all coercions packed *)
 val pack_coercion_obj: Cic.obj -> Cic.obj