X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2Funshare.mli;h=0dffb532e7a1c56672b23fdcd66c67bdaca239f2;hb=235d5cc96af46d0406bdd28222f56b3ee2bf827e;hp=a40be17ba066932b37124dd485917a837116f6ba;hpb=0ba52f4592974fc2f4aeba0135cec03f07cf662d;p=helm.git

diff --git a/helm/software/components/cic/unshare.mli b/helm/software/components/cic/unshare.mli
index a40be17ba..0dffb532e 100644
--- a/helm/software/components/cic/unshare.mli
+++ b/helm/software/components/cic/unshare.mli
@@ -24,3 +24,4 @@
  *)
 
 val unshare : ?fresh_univs:bool -> Cic.term -> Cic.term
+val fresh_types: Cic.obj -> Cic.obj